Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarCoRR, July 2013
Daan Wilmer:
Investigation of "Enhancing flexibility and robustness in multi-agent task scheduling".- Ranjeet Kumar Rout, Pabitra Pal Choudhury, Sarif Sk. Hassan, Saurabh Singh:
Fractal and Mathematical Morphology in Intricate Comparison between Tertiary Protein Structures. - Firas A. Jassim:
Increasing Compression Ratio in PNG Images by k-Modulus Method for Image Transformation. - Maria Gorlatova, John Sarik, Mina Cong, Ioannis Kymissis, Gil Zussman:
Movers and Shakers: Kinetic Energy Harvesting for the Internet of Things. - Minko Dudev, Sebastian Gerling, Philip Peter:
SAHER: Secure and Efficient Routing in Sensor Networks. - Zhaoxi Fang, Xin Wang, Xiaojun Yuan:
Beamforming Design for Multiuser Two-Way Relaying: A Unified Approach via Max-Min SINR. - Vikash K. Mansinghka, Tejas D. Kulkarni, Yura N. Perov, Joshua B. Tenenbaum:
Approximate Bayesian Image Interpretation using Generative Probabilistic Graphics Programs. - Mohammad Naghshvar, Tara Javidi, Michele A. Wigger:
Extrinsic Jensen-Shannon Divergence: Applications to Variable-Length Coding. - Imam Riadi, Jazi Eko Istiyanto, Ahmad Ashari, Subanar:
Log Analysis Techniques using Clustering in Network Forensics. - Ossi Kaltiokallio, Hüseyin Yigitler, Riku Jäntti, Neal Patwari:
Catch a Breath: Non-invasive Respiration Rate Monitoring via Wireless Communication. - Fabrizio M. A. Lolli:
Semantics and pragmatics in actual software applications and in web search engines: exploring innovations. - Konstantin S. Solnushkin, Yuichi Tsujita:
Marrying Many-core Accelerators and InfiniBand for a New Commodity Processor. - Alvaro Cabezas-Clavijo, Nicolas Robinson-Garcia, Manuel Escabias, Evaristo Jiménez-Contreras:
Reviewers' ratings and bibliometric indicators: hand in hand when assessing over research proposals? - Yanshu Zhu, Feng Sun, Yi-King Choi, Bert Jüttler, Wenping Wang:
Spline Approximation to Medial Axis. - Tor Lattimore, Marcus Hutter, Peter Sunehag:
Concentration and Confidence for Discrete Bayesian Sequence Predictors. - Roozbeh Rajabi, Hassan Ghassemian:
Hyperspectral Data Unmixing Using GNMF Method and Sparseness Constraint. - (Withdrawn) 4-Dimensional Geometry Lens: A Novel Volumetric Magnification Approach.
- Qasim Zeeshan Ahmed, Ki-Hong Park, Mohamed-Slim Alouini, Sonia Aïssa:
Compression and Combining Based on Channel Shortening and Rank Reduction Techniques for Cooperative Wireless Sensor Networks. - Philippe Dumas:
Rational series and asymptotic expansion for linear homogeneous divide-and-conquer recurrences. - A. B. M. Moniruzzaman, Syed Akhter Hossain:
NoSQL Database: New Era of Databases for Big data Analytics - Classification, Characteristics and Comparison. - Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Pawel Sobocinski:
Connector algebras for C/E and P/T nets' interactions. - Bhavana Bharat Dalvi, William W. Cohen, Jamie Callan:
WebSets: Extracting Sets of Entities from the Web Using Unsupervised Information Extraction. - Jialiang Zhang, Gang Wu, Wenhui Xiong, Zhi Chen, Shaoqian Li:
Utility-maximization Resource Allocation for Device-to-Device Communication Underlaying Cellular Networks. - Guangxun Du, Quan Quan, Kai-Yuan Cai:
Attitude Controllability Analysis and Degraded Attitude Control Scheme for a class of Hexacopters Subject to One Rotor Failure. - Sourav Samanta, Nilanjan Dey, Poulami Das, Suvojit Acharjee, Sheli Sinha Chaudhuri:
Multilevel Threshold Based Gray Scale Image Segmentation using Cuckoo Search. - Pavel Yu. Chebotarev, Zoya M. Lezina, Anton K. Loginov, Yana Yu. Tsodikova:
The effectiveness of altruistic lobbying: A model study. - Ranald Clouston, Jeremy E. Dawson, Rajeev Goré, Alwen Tiu:
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. - Petko Bogdanov, Michael Busch, Jeff Moehlis, Ambuj K. Singh, Boleslaw K. Szymanski:
The Social Media Genome: Modeling Individual Topic-Specific Behavior in Social Media. - Wanling Gao, Yuqing Zhu, Zhen Jia, Chunjie Luo, Lei Wang, Zhiguo Li, Jianfeng Zhan, Yong Qi, Yongqiang He, Shimin Gong, Xiaona Li, Shujie Zhang, Bizhu Qiu:
BigDataBench: a Big Data Benchmark Suite from Web Search Engines. - Cheng-Yuan Liou, Bo-Shiang Huang, Daw-Ran Liou, Alex A. Simak:
Syntactic sensitive complexity for symbol-free sequence. - Gang Wang, Chunhong Zhang, Xiaofeng Qiu, Zhimin Zeng:
Replacing Network Coordinate System with Internet Delay Matrix Service (IDMS): A Case Study in Chinese Internet. - Thomas Andrew Lampert, André Stumpf, Pierre Gançarski:
An Empirical Study into Annotator Agreement, Ground Truth Estimation, and Algorithm Evaluation. - Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Pier Stanislao Paolucci, Davide Rossetti, Francesco Simula, Laura Tosoratto, Piero Vicini:
'Mutual Watch-dog Networking': Distributed Awareness of Faults and Critical Events in Petascale/Exascale systems. - Nurzhan Bakibayev, Tomás Kociský, Dan Olteanu, Jakub Zavodny:
Aggregation and Ordering in Factorised Databases. - Farhad Farokhi, Amirpasha Shirazinia, Karl Henrik Johansson:
Networked Estimation using Sparsifying Basis Prediction. - Faraz Ahmed, Rong Jin, Alex X. Liu:
A Random Matrix Approach to Differential Privacy and Structure Preserved Social Network Graph Publishing. - Paul L. Hooper, Simon DeDeo, Hillard S. Kaplan:
Dynamical Structure of a Traditional South American Social Network. - Ahmed Abousamra, David P. Bunde, Kirk Pruhs:
An Experimental Comparison of Speed Scaling Algorithms with Deadline Feasibility Constraints. - Guodong Shi, Alexandre Proutière, Mikael Johansson, John S. Baras, Karl Henrik Johansson:
The Evolution of Beliefs over Signed Social Networks. - Andreas Göbel, Leslie Ann Goldberg, David Richerby:
The Complexity of Counting Homomorphisms to Cactus Graphs Modulo 2. - Marius Nicolae, Sanguthevar Rajasekaran:
Efficient Sequential and Parallel Algorithms for Planted Motif Search. - Harpreet S. Dhillon, Howard C. Huang, Harish Viswanathan, Reinaldo A. Valenzuela:
Fundamentals of Throughput Maximization with Random Arrivals for M2M Communications. - Steven R. Ness, Helena Symonds, Paul Spong, George Tzanetakis:
The Orchive : Data mining a massive bioacoustic archive. - Om P. Damani:
Improving Pointwise Mutual Information (PMI) by Incorporating Significant Co-occurrence. - Te Sun Han, Hiroyuki Endo, Masahide Sasaki:
Reliability and Security Functions of the Wiretap Channel under Cost Constraint. - T.-H. Hubert Chan, Fei Chen:
A Primal-Dual Continuous LP Method on the Multi-choice Multi-best Secretary Problem. - Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. - Firas A. Jassim:
A Novel Steganography Algorithm for Hiding Text in Image using Five Modulus Method. - Lutz Bornmann, Rüdiger Mutz:
Conceptual funding of a new citation-rank approach in bibliometrics: P100. - Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky:
Unfolding for CHR programs. - Ahmed A. Zewail, Mohammed Nafie:
The Achievable Degrees of Freedom Region of Relay Networks using Detours. - Erol Gelenbe, Gökçe Görbil, Dimitrios Tzovaras, Steffen Liebergeld, David García, Madalina Baltatu, George L. Lyberopoulos:
Security for Smart Mobile Networks: The NEMESYS Approach. - Stephanie J. Foan, Andrew M. Jackson, Ian Spendlove, Uwe Aickelin:
Simulating the Dynamics of T Cell Subsets Throughout the Lifetime. - Peer-Olaf Siebers, Galina Sherman, Uwe Aickelin, David Menachof:
Comparing Decison Support Tools for Cargo Screening Processes. - Jian Cheng, Tianzi Jiang, Rachid Deriche, Dinggang Shen, Pew-Thian Yap:
Regularized Spherical Polar Fourier Diffusion MRI with Optimal Dictionary Learning. - Cem Tekin, Mihaela van der Schaar:
Distributed Online Big Data Classification Using Context Information. - Reinhard Grandl, Kai Su, Cédric Westphal:
On the Interaction of Adaptive Video Streaming with Content-Centric Networking. - Zemin Zhang, Gregory Ely, Shuchin Aeron, Ning Hao, Misha Elena Kilmer:
Novel Factorization Strategies for Higher Order Tensors: Implications for Compression and Recovery of Multi-linear Data. - Fereshteh Asgari, Vincent Gauthier, Monique Becker:
A survey on Human Mobility and its applications. - Iztok Fister Jr., Iztok Fister, Janez Brest:
Comparing various regression methods on ensemble strategies in differential evolution. - Andrei Todor, Alin Dobra, Tamer Kahveci, Christopher Dudley:
Making massive probabilistic databases practical. - Francesco Renna, A. Robert Calderbank, Lawrence Carin, Miguel R. D. Rodrigues:
Reconstruction of Signals Drawn from a Gaussian Mixture from Noisy Compressive Measurements: MMSE Phase Transitions and Beyond. - Honggang Hu, Shuai Shao, Guang Gong, Tor Helleseth:
The Proof of Lin's Conjecture via the Decimation-Hadamard Transform. - K. Ilambharathi, G. S. N. V. Venkata Manik, N. Sadagopan, B. Sivaselvan:
Domain Specific Hierarchical Huffman Encoding. - Xiaogang Liu, Yuan Luo:
On the bounds and achievability about the ODPC of $\mathcal{GRM}(2, m)^*$ over prime field for increasing message length. - Mouhamed Gaith Ayadi, Riadh Bouslimi, Jalel Akaichi:
Extending UML for Conceptual Modeling of Annotation of Medical Images. - Ivan Arakistain, Jose Miguel Abascal, Oriol Munne:
Wireless sensor network technology for moisture monitoring of wood. - Saravana Manickam, Mahesh K. Marina, Sofia Pediaditaki, Maziar Nekovee:
Auctioning based Coordinated TV White Space Spectrum Sharing for Home Networks. - Yeow-Khiang Chia, Kittipong Kittichokechai:
On Secure Source Coding with Side Information at the Encoder. - Arash Behboodi, Pablo Piantanida:
Mixed Noisy Network Coding and Cooperative Unicasting in Wireless Networks. - Paul Ralph:
Software Engineering Process Theory: A Multi-Method Comparison of Sensemaking-CoevoIution-Implementation Theory and Function-Behavior-Structure Theory. - John-Olof Nilsson, Peter Händel:
Recursive Bayesian Initialization of Localization Based on Ranging and Dead Reckoning. - Naisan Benatar, Uwe Aickelin, Jonathan M. Garibaldi:
A Comparison of Non-stationary, Type-2 and Dual Surface Fuzzy Control. - Mazlina Abdul Majid, Peer-Olaf Siebers, Uwe Aickelin:
Modelling Reactive and Proactive Behaviour in Simulation: A Case Study in a University Organisation. - Jenna Reps, Jan Feyereisl, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard:
Investigating the Detection of Adverse Drug Events in a UK General Practice Electronic Health-Care Database. - Ian Dent, Uwe Aickelin, Tom Rodden:
Application of a clustering framework to UK domestic electricity data. - Mohammed F. Nather, Nada N. Saleem:
Suggest an Aspect-Oriented Design Approach for UML Communication Diagram. - An Liu, Vincent K. N. Lau:
Mixed-Timescale Precoding and Cache Control in Cached MIMO Interference Network. - Ridha Nasri, Zwi Altman:
Handover adaptation for dynamic load balancing in 3gpp long term evolution systems. - Laurent Tapie, Kwamiwi Bernardin Mawussi, Walter Rubio, Benoît Furet:
Machining of complex-shaped parts with guidance curves. - Pierre Olivier, Jalil Boukhobza, Eric Senn:
Toward a Unified Performance and Power Consumption NAND Flash Memory Model of Embedded and Solid State Secondary Storage Systems. - Sukanta Bhattacharjee, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
Algorithms for Producing Linear Dilution Gradient with Digital Microfluidics. - Piotr Krzysztof Skowron, Lan Yu, Piotr Faliszewski, Edith Elkind:
The Complexity of Fully Proportional Representation for Single-Crossing Electorates. - Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Werner Geurts, Gert Goossens, Francesca Lo Cicero, Alessandro Lonardo, Pier Stanislao Paolucci, Davide Rossetti, Francesco Simula, Laura Tosoratto, Piero Vicini:
A heterogeneous many-core platform for experiments on scalable custom interconnects and management of fault and critical events, applied to many-process applications: Vol. II, 2012 technical report. - Elea Giménez-Toledo, Jorge Mañana-Rodríguez, Emilio Delgado López-Cózar:
Quality indicators for scientific journals based on experts opinion. - Fangxiang Feng, Ruifan Li, Xiaojie Wang:
Constructing Hierarchical Image-tags Bimodal Representations for Word Tags Alternative Choice. - Miguel Angel Veganzones, Mihai Datcu, Manuel Graña:
Further results on dissimilarity spaces for hyperspectral images RF-CBIR. - Pietro Codara, Ottavio M. D'Antona, Daniele Filaretti:
Building Bricks with Bricks, with Mathematica. - Hubie Chen, Moritz Müller:
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries. - Alexander V. Evako:
On digital simply connected spaces and manifolds: a digital simply connected 3-manifold is the digital 3-sphere. - G. Kishore Kumar, V. K. Jayaraman:
Clustering of Complex Networks and Community Detection Using Group Search Optimization. - Ian Dent, Uwe Aickelin, Tom Rodden:
The Application of a Data Mining Framework to Energy Usage Profiling in Domestic Residences using UK data. - Ian Dent, Christian Wagner, Uwe Aickelin, Tom Rodden:
Creating Personalised Energy Plans. From Groups to Individuals using Fuzzy C Means Clustering. - Hala Helmi, Jonathan M. Garibaldi, Uwe Aickelin:
Examining the Classification Accuracy of TSVMs with ?Feature Selection in Comparison with the GLAD Algorithm. - Grazziela P. Figueredo, Uwe Aickelin, Peer-Olaf Siebers:
Systems Dynamics or Agent-Based Modelling for Immune Simulation? - Feng Gu, Jan Feyereisl, Robert F. Oates, Jenna Reps, Julie Greensmith, Uwe Aickelin:
Quiet in Class: Classification, Noise and the Dendritic Cell Algorithm. - Kittipong Kittichokechai, Yeow-Khiang Chia, Tobias J. Oechtering, Mikael Skoglund, Tsachy Weissman:
Secure Source Coding with a Public Helper. - Naisan Benatar, Uwe Aickelin, Jonathan M. Garibaldi:
An investigation into the relationship between type-2 FOU size and environmental uncertainty in robotic control. - Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Discovering Sequential Patterns in a UK General Practice Database. - Sanguthevar Rajasekaran, Marius Nicolae:
An Elegant Algorithm for the Construction of Suffix Arrays. - Phillippe Samer, Sebastián Urrutia:
A branch and cut algorithm for minimum spanning trees under conflict constraints. - Yuqian Zhang, Cun Mu, Han-Wen Kuo, John Wright:
Toward Guaranteed Illumination Models for Non-Convex Objects. - Pablo Mayckon Silva Farias, Ricardo C. Corrêa:
Linear Time Computation of the Maximal (Circular) Sums of Multiple Independent Insertions of Numbers into a Sequence. - Sergio Barbarossa, Stefania Sardellitti, Paolo Di Lorenzo:
Distributed Detection and Estimation in Wireless Sensor Networks. - Sung Ho Chae, Changho Suh, Sae-Young Chung:
Degrees of Freedom of the Rank-deficient Interference Channel with Feedback. - Lavindra de Silva, Amit Kumar Pandey, Mamoun Gharbi, Rachid Alami:
Towards Combining HTN Planning and Geometric Task Planning. - Zhong Chen, Feifei Gao, Xianda Zhang, James C. F. Li, Ming Lei:
Multiple-Level Power Allocation Strategy for Secondary Users in Cognitive Radio Networks. - Ittai Abraham, Shiri Chechik:
Dynamic Decremental Approximate Distance Oracles with (1+ε, 2) stretch. - Nandan Mirajkar, Sandeep Bhujbal, Aaradhana Deshmukh:
Perform wordcount Map-Reduce Job in Single Node Apache Hadoop cluster and compress data using Lempel-Ziv-Oberhumer (LZO) algorithm. - Harpreet S. Dhillon, Ying Li, Pavan Nuggehalli, Zhouyue Pi, Jeffrey G. Andrews:
Fundamentals of Heterogeneous Cellular Networks with Energy Harvesting. - Cezary Kaliszyk, Christoph Lüth:
Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. EPTCS 118, 2013 [contents] - Rusdha Muharar, Randa Zakhour, Jamie S. Evans:
Optimal Power Allocation and User Loading for Multiuser MISO Channels with Regularized Channel Inversion. - Christian von der Weth, Manfred Hauswirth:
DOBBS: Towards a Comprehensive Dataset to Study the Browsing Behavior of Online Users. - Christian von der Weth, Manfred Hauswirth:
Finding Information Through Integrated Ad-Hoc Socializing in the Virtual and Physical World. - Radoslaw Glowinski, Wojciech Rytter:
Compressed Pattern-Matching with Ranked Variables in Zimin Words. - E. R. Vimina, K. Poulose Jacob:
A Sub-block Based Image Retrieval Using Modified Integrated Region Matching. - Chau Do, Eric J. Pauwels:
Using MathML to Represent Units of Measurement for Improved Ontology Alignment. - Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard:
Comparing Data-mining Algorithms Developed for Longitudinal Observational Databases. - Grazziela P. Figueredo, Peer-Olaf Siebers, Uwe Aickelin, Stephanie J. Foan:
A Beginners Guide to Systems Simulation in Immunology. - Chris M. Roadknight, Uwe Aickelin, Guoping Qiu, John Scholefield, Lindy Durrant:
Supervised Learning and Anti-learning of Colorectal Cancer Classes and Survival Rates from Cellular Biology Parameters. - Chris M. Roadknight, Uwe Aickelin, Alex Ladas, Daniele Soria, John Scholefield, Lindy Durrant:
Biomarker Clustering of Colorectal Cancer Data to Complement Clinical Classification. - Piero Triverio:
Robust Causality Check for Sampled Scattering Parameters via a Filtered Fourier Transform. - Zhiguo Ding, Samir Medina Perlaza, Inaki Esnaola, H. Vincent Poor:
Power Allocation Strategies in Energy Harvesting Wireless Cooperative Networks. - Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro:
Algorithmic Mechanisms for Reliable Internet-based Computing under Collusion. - Rami Al-Rfou', Bryan Perozzi, Steven Skiena:
Polyglot: Distributed Word Representations for Multilingual NLP. - Lianggui Liu:
Extracting the trustworthiest way to service provider in complex online social networks. - Diya Naresh Vadhwani, Megha Singh, Deepak Kulhare:
Simulation of wireless dynamic source routing protocol with IP traffic flow analysis, memory efficiency and increased throughput. - Tao Zhang, Peer-Olaf Siebers, Uwe Aickelin:
Modelling the Effects of User Learning on Forced Innovation Diffusion. - Pucktada Treeratpituk, Madian Khabsa, C. Lee Giles:
Graph-based Approach to Automatic Taxonomy Generation (GraBTax). - Frédérique Bassino, Andrea Sportiello:
Linear-time generation of specifiable combinatorial structures: general theory and first examples. - Dmitry Ageyev, Artem Ignatenko, Fouad Wehbe:
Design of Information and Telecommunication Systems with the Usage of the Multi-Layer Graph Model. - (Withdrawn) Anatomical Feature-guided Volumeric Registration of Multimodal Prostate MRI.
- Richard Gow, Srikumar Venugopal, Pradeep Kumar Ray:
"The tail wags the dog": A study of anomaly detection in commercial application performance. - Sourangsu Banerji:
Study and Development of a Data Acquisition & Control (DAQ) System using TCP/Modbus Protocol. - Cheng Bo, Xuesi Jian, Xiang-Yang Li:
TEXIVE: Detecting Drivers Using Personal Smart Phones by Leveraging Inertial Sensors. - Wei Chen, Dayu Huang, Ankur A. Kulkarni, Jayakrishnan Unnikrishnan, Quanyan Zhu, Prashant G. Mehta, Sean P. Meyn, Adam Wierman:
Approximate dynamic programming using fluid and diffusion approximations with applications to power management. - Nazim Burak Karahanoglu, Hakan Erdogan:
Improving A*OMP: Theoretical and Empirical Analyses With a Novel Dynamic Cost Model. - Anna Adamaszek, Andreas Wiese:
Approximation Schemes for Maximum Weight Independent Set of Rectangles. - Minjia Shi:
MacWilliams type identities for some new $m$-spotty weight enumerators over finite commutative Frobenius rings. - Michele Scquizzato, Francesco Silvestri:
Communication Lower Bounds for Distributed-Memory Computations. - Arno Pauly, Matthew de Brecht:
Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces. - Jean-Baptiste Mouret, Sylvain Koos, Stéphane Doncieux:
Crossing the Reality Gap: a Short Introduction to the Transferability Approach. - Ibrahim Sabek, Noha A. Yousri, Nagwa M. El-Makky, Mona Habib:
Intelligent Hybrid Man-Machine Translation Quality Estimation. - Arindam Chaudhuri:
Solution of Rectangular Fuzzy Games by Principle of Dominance Using LR-type Trapezoidal Fuzzy Numbers. - Arindam Chaudhuri, Kajal De:
A Comparative study of Transportation Problem under Probabilistic and Fuzzy Uncertainties. - Arindam Chaudhuri, Kajal De, Dipak Chatterjee, Pabitra Mitra:
Trapezoidal Fuzzy Numbers for the Transportation Problem. - Arindam Chaudhuri, Kajal De, Dipak Chatterjee:
Discovering Stock Price Prediction Rules of Bombay Stock Exchange Using Rough Fuzzy Multi Layer Perception Networks. - Arindam Chaudhuri, Kajal De:
Fuzzy Integer Linear Programming Mathematical Models for Examination Timetable Problem. - Arindam Chaudhuri, Kajal De:
Achieving greater Explanatory Power and Forecasting Accuracy with Non-uniform spread Fuzzy Linear Regression. - Arindam Chaudhuri:
A Dynamic Algorithm for the Longest Common Subsequence Problem using Ant Colony Optimization Technique. - Seyed Kaveh Fayazbakhsh:
Modeling Human Mobility and its Applications in Routing in Delay-Tolerant Networks: a Short Survey. - Murat Ali Bayir, Ismail Hakki Toroslu:
Link Based Session Reconstruction: Finding All Maximal Paths. - Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo:
PROOFTOOL: a GUI for the GAPT Framework. 1-14 - Wolfgang Windsteiger:
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. 72-82 - Mingrui Yang, Frank de Hoog:
Coherence and RIP Analysis for Greedy Algorithms in Compressive Sensing. - Wojciech Zaremba, Arthur Gretton, Matthew B. Blaschko:
B-test: A Non-parametric, Low Variance Kernel Two-sample Test. - Jiong He, Mian Lu, Bingsheng He:
Revisiting Co-Processing for Hash Joins on the Coupled CPU-GPU Architecture. - Daniel Gaußmann, Stefan Hoffmann, Egon Wanke:
Hierarchical Bipartition Routing for delivery guarantee in sparse wireless ad hoc sensor networks with obstacles. - Alexandros Ladas, Uwe Aickelin, Jonathan M. Garibaldi, Eamonn Ferguson:
Using Clustering to extract Personality Information from socio economic data. - Aslam Ahmed, Julie Greensmith, Uwe Aickelin:
Variance in System Dynamics and Agent Based Modelling Using the SIR Model of Infectious Disease. - Lefteris Zervakis, Christos Tryfonopoulos, Antonios Papadakis-Pesaresi, Manolis Koubarakis, Spiros Skiadopoulos:
Full-text Support for Publish/Subscribe Ontology Systems. - Jenny Rompa, Giorgos Lepouras, Costas Vassilakis, Christos Tryfonopoulos:
OntoFM: A Personal Ontology-based File Manager for the Desktop. - Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich:
Resolution Proof Transformation for Compression and Interpolation. - V. K. Oikonomou, J. Jost:
Periodic Strategies and Rationalizability in Perfect Information 2-Player Strategic Form Games. - Eike Hermann Müller, Robert Scheichl:
Massively parallel solvers for elliptic PDEs in Numerical Weather- and Climate Prediction. - Santiago Canales, Gregorio Hernández-Peñalver, Ana Mafalda Martins, Inês Matos:
Distance domination, guarding and vertex cover for maximal outerplanar graph. - Catuscia Palamidessi:
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi. - Daniel Graziotin, Pekka Abrahamsson:
A Web-based modeling tool for the SEMAT Essence theory of Software Engineering. - Mohamed Kafsi, Ehsan Kazemi, Lucas Maystre, Lyudmila Yartseva, Matthias Grossglauser, Patrick Thiran:
Mitigating Epidemics through Mobile Micro-measures. - Maike Buchin, Anne Driemel, Bettina Speckmann:
Computing the Fréchet distance with shortcuts is NP-hard. - Edoardo Di Napoli, Diego Fabregat-Traver, Gregorio Quintana-Ortí, Paolo Bientinesi:
Towards an Efficient Use of the BLAS Library for Multilinear Tensor Contractions. - Ian Dent, Tony Craig, Uwe Aickelin, Tom Rodden:
Finding the creatures of habit; Clustering households based on their flexibility in using electricity. - Mark A. Iwen, Rayan Saab:
Near-Optimal Encoding for Sigma-Delta Quantization of Finite Frame Expansions. - Dániel Marx, Michal Pilipczuk:
Everything you always wanted to know about the parameterized complexity of Subgraph Isomorphism (but were afraid to ask). - Waldemar Gerok, Jürgen Peissig, Thomas Kaiser:
TDOA assisted RSSD based localization using UWB and directional antennas. - Simina Brânzei, Ioannis Caragiannis, David Kurokawa, Ariel D. Procaccia:
Equilibria of Generalized Cut and Choose Protocols. - Minjia Shi:
The MacWilliams identity for $m$-spotty weight enumerator over $\mathbb{F}_2+u\mathbb{F}_2+\cdots+u^{m-1}\mathbb{F}_2$. - Nicholas J. A. Harvey, Neil Olver:
Pipage Rounding, Pessimistic Estimators and Matrix Concentration. - (Withdrawn) A General Framework for Privacy-Preserving Distributed Greedy Algorithm.
- Ying Cui, Vincent K. N. Lau, Huang Huang:
Dynamic Partial Cooperative MIMO System for Delay-Sensitive Applications with Limited Backhaul Capacity. - Romeo Rizzi, Alexandru I. Tomescu:
Floating-point arithmetic for approximate counting and random generation problems. - Junlin Xiong, James Lam, Zhan Shu, Xuerong Mao:
Stability Analysis of Continuous-Time Switched Systems with a Random Switching Signal. - Peter Trifonov, Vera Miloslavskaya:
Polar Codes with Dynamic Frozen Symbols and Their Decoding by Directed Search. - Sena Seneviratne, David C. Levy, Rajkumar Buyya:
A Taxonomy of Performance Prediction Systems in the Parallel and Distributed Computing Grids. - Guilin Zhuansun, Junlin Xiong:
Local Mode Dependent Decentralized H∞ Control of Uncertain Markovian Jump Large-scale Systems. - Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing experiments on synchronized Petri nets. - Pin-Hsun Lin, Chien-Li Su, Hsuan-Jung Su:
On The Fast Fading Multiple-Antenna Gaussian Broadcast Channel with Confidential Messages and Partial CSIT. - Firouz Abdullah Al-Wassai, N. V. Kalyankar:
Image Fusion Technologies In Commercial Remote Sensing Packages. - Roxana Bujack, Gerik Scheuermann, Eckhard Hitzer:
Detection of Outer Rotations on 3D-Vector Fields with Iterative Geometric Correlation and its Efficiency. - Dusan Jakovetic, José M. F. Moura, João Manuel Freitas Xavier:
Linear Convergence Rate of a Class of Distributed Augmented Lagrangian Algorithms. - Stefan Kratsch, Geevarghese Philip, Saurabh Ray:
Point Line Cover: The Easy Kernel is Essentially Tight. - Marcin Bienkowski, Jaroslaw Byrka, Marek Chrobak, Lukasz Jez, Jirí Sgall:
Better Approximation Bounds for the Joint Replenishment Problem. - Yoram Bachrach, Vasilis Syrgkanis, Éva Tardos, Milan Vojnovic:
Strong Price of Anarchy and Coalitional Dynamics. - Stefan Milius, Lawrence S. Moss, Daniel Schwencke:
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions. - Mehul Bhatt, Jan Oliver Wallgrün:
Geospatial Narratives and their Spatio-Temporal Dynamics: Commonsense Reasoning for High-level Analyses in Geographic Information Systems. - El Amin Aoulad Abdelouarit:
Les index pour les entrepôts de données : comparaison entre index arbre-B et Bitmap. - Minjia Shi:
MacWilliams Type identities for $m$-spotty Rosenbloom-Tsfasman weight enumerators over finite commutative Frobenius rings. - Saurabh Jha, Tejaswi Agarwal, B. Rajesh Kanna:
Exploiting Data Parallelism in the yConvex Hypergraph Algorithm for Image Representation using GPGPUs. - Abhinav Sinha, Achilleas Anastasopoulos:
Generalized Proportional Allocation Mechanism Design for Multi-rate Multicast Service on the Internet. - Chris Piech, Jonathan Huang, Zhenghao Chen, Chuong B. Do, Andrew Y. Ng, Daphne Koller:
Tuned Models of Peer Assessment in MOOCs. - Richard Ellis-Braithwaite, Russell Lock, Ray Dawson, Badr Haque:
Towards an Approach for Analysing the Strategic Alignment of Software Requirements using Quantified Goal Graphs. - Emil Björnson, Jakob Hoydis, Marios Kountouris, Mérouane Debbah:
Massive MIMO Systems with Non-Ideal Hardware: Energy Efficiency, Estimation, and Capacity Limits. - Bin Han, Qun Mo, Zhenpeng Zhao:
Compactly Supported Tensor Product Complex Tight Framelets with Directionality. - Olivier Curé, Myriam Lamolle, Chan Le Duc:
Ontology Based Data Integration Over Document and Column Family Oriented NOSQL. - Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel:
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. - Hubert Haoyang Duan, Vladimir Pestov, Varun Singla:
Text Categorization via Similarity Search: An Efficient and Effective Novel Algorithm. - Karthikeyan Shanmugam, Alexandros G. Dimakis, Giuseppe Caire:
Index Coding Problem with Side Information Repositories. - Robert Lychev, Sharon Goldberg, Michael Schapira:
BGP Security in Partial Deployment: Is the Juice Worth the Squeeze? - T.-H. Hubert Chan, Fei Chen, Xiaowei Wu, Zhichao Zhao:
Ranking on Arbitrary Graphs: Rematch via Continuous LP with Monotone and Boundary Condition Constraints. - Zahed Rahmati, Mohammad Ali Abam:
Kinetic Data Structures for the Semi-Yao Graph and All Nearest Neighbors in $\mathbb{R}^d$. - Jean Cardinal, Kolja B. Knauer, Piotr Micek, Torsten Ueckerdt:
Making Octants Colorful and Related Covering Decomposition Problems. - Stefano Braghin, Vincenzo Iovino, Giuseppe Persiano, Alberto Trombetta:
Secure and Policy-Private Resource Sharing in an Online Social Network. - Francesco Pantisano, Mehdi Bennis, Walid Saad, Stefan Valentin, Mérouane Debbah:
Matching with Externalities for Context-Aware User-Cell Association in Small Cell Networks. - Evgenia Christoforou, Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro, Ángel Sánchez:
Reputation-based Mechanisms for Evolutionary Master-Worker Computing. - Yu-Ru Lin, Brian Keegan, Drew Margolin, David Lazer:
Rising tides or rising stars?: Dynamics of shared attention on Twitter during media events. - Reza Farrahi Moghaddam, Fereydoun Farrahi Moghaddam, Mohamed Cheriet:
Computer Simulation of 3-D Finite-Volume Liquid Transport in Fibrous Materials: a Physical Model for Ink Seepage into Paper. - Mohammad Taghi Hajiaghayi, Wei Hu, Jian Li, Shi Li, Barna Saha:
A Constant Factor Approximation Algorithm for Fault-Tolerant k-Median. - Sheng Cai, Mohammad Jahangoshahi, Mayank Bakshi, Sidharth Jaggi:
GROTESQUE: Noisy Group Testing (Quick and Efficient). - Vinay Kumar, Sunil Bhooshan:
Design of One-Dimensional Linear Phase Digital IIR Filters Using Orthogonal Polynomials. - Harbinder Singh, Vinay Kumar, Sunil Bhooshan:
Anisotropic Diffusion for Details Enhancement in Multi-Exposure Image Fusion. - Bin Han, Zhenpeng Zhao:
Image Denoising Using Tensor Product Complex Tight Framelets with Increasing Directionality. - David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivny:
Tractable Combinations of Global Constraints. - Hessam Mahdavifar, Mostafa El-Khamy, Jungwon Lee, Inyup Kang:
Achieving the Uniform Rate Region of Multiple Access Channels Using Polar Codes. - Michail Matthaiou, Agisilaos Papadogiannis, Emil Björnson, Mérouane Debbah:
Two-Way Relaying under the Presence of Relay Transceiver Hardware Impairments. - Atta ur Rehman Khan, Mazliza Othman, Abdul Nasir Khan, Imran Ali Khan:
Framework for Ubiquitous Social Networks. - Constantin Siriteanu, Steven D. Blostein, Akimichi Takemura, Hyundong Shin, Shahram Yousefi:
Exact Performance Analysis of MIMO Zero Forcing Detection for Transmit Correlated Rician Rayleigh Fading. - Quan Wang, Dijia Wu, Le Lu, Meizhu Liu, Kim L. Boyer, Shaohua Kevin Zhou:
Semantic Context Forests for Learning-Based Knee Cartilage Segmentation in 3D MR Images. - Ana Georgina Flesia, Josef Baumgartner, Javier Gimenez, Jorge Martinez:
Accuracy of MAP segmentation with hidden Potts and Markov mesh prior models via Path Constrained Viterbi Training, Iterated Conditional Modes and Graph Cut based algorithms. - Qiwei Lu, Wenchao Huang, Xudong Gong, Xingfu Wang, Yan Xiong, Fuyou Miao:
A Secure Distributed Authentication scheme based on CRT-VSS and Trusted Computing in MANET. - Mohammad Norouzi, Ali Punjani, David J. Fleet:
Fast Exact Search in Hamming Space with Multi-Index Hashing. - Xiaoying Zheng, Chunglae Cho, Ye Xia:
Content Distribution by Multiple Multicast Trees and Intersession Cooperation: Optimal Algorithms and Approximations. - Qiwei Lu, Wenchao Huang, Yan Xiong, Xudong Gong:
Integrity Verification for Outsourcing Uncertain Frequent Itemset Mining. - S. Padmavathi, Manojna K. S. S, S. Sphoorthy Reddy, D. Meenakshy:
Conversion of Braille to Text in English, Hindi and Tamil Languages. - Sharad Sharma, Shakti Kumar, Brahmjit Singh:
Routing in Wireless Mesh Networks: Two Soft Computing Based Approaches. - Sayed Amir Hoseini, Mohammad Reza Ashraf:
Computational Complexity Comparison Of Multi-Sensor Single Target Data Fusion Methods By Matlab. - Shakti Kumar, Brahmjit Singh, Sharad Sharma:
Soft Computing Framework for Routing in Wireless Mesh Networks: An Integrated Cost Function Approach. - Keisuke Umezu, Takahiro Kawamura, Akihiko Ohsuga:
Context-based Barrier Notification Service Toward Outdoor Support for the Elderly. - V. Karthikeyan, S. Senthilkumar, V. J. Vijayalakshmi:
A New Approach to the Solution of Economic Dispatch Using Particle Swarm Optimization with Simulated Annealing. - Craig A. James, Weidong Huang, Kazys Stepanas, Eleonora Widzyk-Capehart, Leila Alem, Chris Gunn, Matt Adcock, Kerstin Haustein:
Designing a Network Based System for Delivery of Remote Mine Services. - S. Hemalatha, U. Dinesh Acharya, A. Renuka:
Comparison of secure and high capacity color image steganography techniques in RGB and YCbCr domains. - Stefan Edelkamp, Armin Weiß:
QuickXsort: Efficient Sorting with n log n - 1.399n +o(n) Comparisons on Average. - Mehul Bhatt:
Between Sense and Sensibility: Declarative narrativisation of mental models as a basis and benchmark for visuo-spatial cognition and computation focussed collaborative cognitive systems. - Sergey G. Kosov, Pushmeet Kohli, Franz Rottensteiner, Christian Heipke:
A two-layer Conditional Random Field for the classification of partially occluded objects. - Leila Esheiba, Hoda M. O. Mokhtar, Mohamed E. El-Sharkawi:
Spatio-Temporal Queries for moving objects Data warehousing. - Sayali Nimkar, Sanal Varghese, Sucheta Shrivastava:
Contrast Enhancement And Brightness Preservation Using Multi- Decomposition Histogram Equalization. - Osama El-Sayed Sheta, Ahmed Nour Eldeen:
The technology of using a data warehouse to support decision-making in health care. - Erez Kantor, Shay Kutten:
Optimal competitiveness for Symmetric Rectilinear Steiner Arborescence and related problems. - Afifa Ghenai, Mohamed Youcef Badaoui, Mohamed Benmohammed:
Towards a Good ABS Design for more Reliable Vehicles on the Roads. - Dave Murray-Rust, Peter Murray-Rust:
The Declaratron, semantic specification for scientific computation using MathML. - Maria das Graças Bruno Marietto, Rafael Varago de Aguiar, Gislene de Oliveira Barbosa, Wagner Tanaka Botelho, Edson P. Pimentel, Robson dos Santos França, Vera Lúcia da Silva:
Artificial Intelligence MArkup Language: A Brief Tutorial. - Hauke Holtkamp, Gunther Auer:
Fundamental Limits of Energy-Efficient Resource Sharing, Power Control and Discontinuous Transmission. - Hauke Holtkamp, Gunther Auer, Harald Haas:
Minimal average consumption downlink base station power control strategy. - Guido Dartmann, Ehsan Zandi, Gerd Ascheid:
A Modified Levenberg-Marquardt Method for the Bidirectional Relay Channel. - Juan A. Elices, Fernando Pérez-González:
Linking Correlated Network Flows through Packet Timing: a Game-Theoretic Approach. - Biswapratapsingh Sahoo:
Performance Comparison of Packet Scheduling Algorithms for Video Traffic in LTE Cellular Network. - B. P. S. Sahoo, Satyajit Rath:
Integrating GPS, GSM and Cellular Phone for Location Tracking and Monitoring. - Riccardo Fedrizzi, Tinku Rasheed:
Cooperative Short Range Routing for Energy Savings in Multi-Interface Wireless Networks. - Alvaro Valcarce, Tinku Rasheed, Karina Mabell Gomez, Kandeepan Sithamparanathan, Laurent Reynaud, Romain Hermenier, Andrea Munari, Mihael Mohorcic, Miha Smolnikar, Isabelle Bucaille:
Airborne Base Stations for Emergency and Temporary Events. - David Coyle, Gavin J. Doherty:
Supporting Therapeutic Relationships and Communication about Mental Health. - David Coyle, Mark Matthews, Gavin J. Doherty, John Sharry:
Engaging with mental health: a global challenge. - Nathaniel Korda, Prashanth L. A., Rémi Munos:
Online gradient descent for least squares regression: Non-asymptotic bounds and application to bandits. - Alexander Kogtenkov, Bertrand Meyer, Sergey Velder:
Alias and Change Calculi, Applied to Frame Inference. - Oliver Göbel, Martin Hoefer, Thomas Kesselheim, Thomas Schleiden, Berthold Vöcking:
Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods. - Davide Aversa, Stavros Vassos:
Action-based Character AI in Video-games with CogBots Architecture: A Preliminary Report. - Paulo Sérgio Almeida, Carlos Baquero:
Scalable Eventually Consistent Counters over Unreliable Networks. - Baisakh, Chinmayee Mishra, Abhilipsa Pradhan:
A Novel Grid Based Dynamic Energy Efficient Routing Approach for Highly Dense Mobile Ad Hoc Networks. - Igor Cizelj, Calin Belta:
Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications. - Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner:
Certification of Bounds of Non-linear Functions: the Templates Method. - Thomas Schultz, Anna Vilanova, Ralph Brecheisen, Gordon L. Kindlmann:
Fuzzy Fibers: Uncertainty in dMRI Tractography. - Ziad Ahmad, Zachary Chance, David James Love:
Concatenated Coding Using Linear Schemes for Gaussian Broadcast Channels with Noisy Channel Output Feedback. - Tareq Alhmiedat, Amer O. Abu Salem, Anas Abu Taleb:
An imporved decentralized approach for tracking multiple mobile targets through ZigBee WSNs. - Vitaly Feldman, Jan Vondrák:
Optimal Bounds on Approximation of Submodular and XOS Functions by Juntas. - Juhi Ameta, Nisheeth Joshi, Iti Mathur:
Improving the quality of Gujarati-Hindi Machine Translation through part-of-speech tagging and stemmer-assisted transliteration. - K. S. Kuppusamy, Leena Mary Francis, G. Aghila:
Report: A Model for Remote Parental Control System Using Smartphones. - J. Marcel Heusinger:
Challenges of Critical and Emancipatory Design Science Research: The Design of 'Possible Worlds' as Response. - Andriy Olenko, Tibor K. Pogány:
Universal truncation error upper bounds in irregular sampling restoration. - T. Chandrasekhar, K. Thangavel, E. Elayaraja, E. N. Sathishkumar:
Unsupervised Gene Expression Data using Enhanced Clustering Method. - A. B. M. Moniruzzaman, Syed Akhter Hossain:
Comparative Study on Agile software development methodologies. - Valerio Cambareri, Mauro Mangia, Fabio Pareschi, Riccardo Rovatti, Gianluca Setti:
Embedding Multiclass Data Hiding in Compressed Sensing. - K. Karnavel, V. Divya, Gnanakeerthika, P. Karthika:
Agent Based Software Testing Framework (ABSTF) for Application Maintenance. - N. Sampath Kumar, U. KarthikChandran, N. ArunKumar, K. Karnavel:
Social Networking Site For Self Portfolio. - K. Karnavel, M. Sakthivel, L. Karuppasamy:
Improving Data Security in Infrastructure Networks Based on Unipath Routing. - Ahmad Reza Montazerolghaem, Mohammad Hossein Yaghmaee:
Sip Overload Control Testbed: Design, Building and Evaluation. - Osama El-Sayed Sheta, Ahmed Nour Eldeen:
Evaluating a healthcare data warehouse for cancer diseases. - Bhavya Kailkhura, Yunghsiang S. Han, Swastik Brahma, Pramod K. Varshney:
Distributed Bayesian Detection with Byzantine Data. - T. Chandrasekhar, K. Thangavel, E. Elayaraja:
Performance Analysis of Clustering Algorithms for Gene Expression Data. - K. Karnavel, L. Shalini, M. Ramananthini:
Refining Data Security in Infrastructure Networks Support of Multipath Routing. - Shuai Yuan, Jun Wang, Maurice van der Meer:
Adaptive Keywords Extraction with Contextual Bandits for Advertising on Parked Domains. - Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Improving MUC extraction thanks to local search. - Noah D. Stein, Asuman E. Ozdaglar, Pablo A. Parrilo:
Exchangeable Equilibria, Part I: Symmetric Bimatrix Games. - Rohit Budhiraja, K. S. Karthik, Bhaskar Ramamurthi:
Linear Precoders for Non-Regenerative Asymmetric Two-way Relaying in Cellular Systems. - Fred Y. Ye, Loet Leydesdorff:
The "Academic Trace" of the Performance Matrix: A Mathematical Synthesis of the h-Index and the Integrated Impact Indicator (I3). - Constantinos Daskalakis, Anindya De, Ilias Diakonikolas, Ankur Moitra, Rocco A. Servedio:
A Polynomial-time Approximation Scheme for Fault-tolerant Distributed Storage. - Sadegh Aliakbary, Jafar Habibi, Ali Movaghar:
Quantification and Comparison of Network Degree Distributions. - Sadegh Aliakbary, Sadegh Motallebi, Jafar Habibi, Ali Movaghar:
Learning an Integrated Distance Metric for Comparing Structure of Complex Networks. - (Withdrawn) Mc-Dis: A Heterogeneous Neighbor Discovery Protocol for Multi-channel Wireless Networks.
- Mehdi Molkaraie, Hans-Andrea Loeliger:
Partition Function of the Ising Model via Factor Graph Duality. - Natashia Boland, Thomas Kalinowski, Simranjit Kaur:
Scheduling arc shut downs in a network to maximize flow over time with a bounded number of jobs per time period. - Martin Strohmeier, Vincent Lenders, Ivan Martinovic:
Security of ADS-B: State of the Art and Beyond. - Alexandros Ntoulas, Omar Alonso, Vasilis Kandylas:
A Data Management Approach for Dataset Selection Using Human Computation. - Junzhou Zhao:
On Analyzing Estimation Errors due to Constrained Connections in Online Review Systems. - Rakshith Saligram, Shrihari Shridhar Hegde, Shashidhar A. Kulkarni, H. R. Bhagyalakshmi, M. K. Venkatesha:
Design of Parity Preserving Logic Based Fault Tolerant Reversible Arithmetic Logic Unit. - Kai-Min Chung, Zhenming Liu, Rafael Pass:
Statistically-secure ORAM with $\tilde{O}(\log^2 n)$ Overhead. - Kiran Kuchi:
Exploiting Spatial Interference Alignment and Opportunistic Scheduling in the Downlink of Interference Limited Systems. - Khalid Raza, Rafat Parveen:
Reconstruction of gene regulatory network of colon cancer using information theoretic approach. - Jun Zhang, Chao-Kai Wen, Shi Jin, Xiqi Gao, Kai-Kit Wong:
Large System Analysis of Cooperative Multi-cell Downlink Transmission via Regularized Channel Inversion with Imperfect CSIT. - Kiran Kuchi:
Limiting Performance of Conventional and Widely Linear DFT-precoded-OFDM Receivers in Wideband Frequency Selective Channels. - Pablo Daniel Azar, Robert Kleinberg, S. Matthew Weinberg:
Prophet Inequalities with Limited Information. - Albert Gu, Anupam Gupta, Amit Kumar:
The Power of Deferral: Maintaining a Constant-Competitive Steiner Tree Online. - Peter Sasvari:
The Impacts of Using Business Information Systems on Operational Effectiveness in Hungary. - Vahid Aref, Laurent Schmalen, Stephan ten Brink:
On the Convergence Speed of Spatially Coupled LDPC Ensembles. - (Withdrawn) Handwritten Digits Recognition using Deep Convolutional Neural Network: An Experimental Study using EBlearn.
- Sameh Sorour, Ahmed Douik, Shahrokh Valaee, Tareq Y. Al-Naffouri, Mohamed-Slim Alouini:
Partially Blind Instantly Decodable Network Codes for Lossy Feedback Environment. - Umang Bhaskar, Katrina Ligett, Leonard J. Schulman:
The Network Improvement Problem for Equilibrium Routing. - Elsayed Ahmed, Ahmed M. Eltawil, Ashutosh Sabharwal:
Self-Interference Cancellation with Nonlinear Distortion Suppression for Full-Duplex Systems. - Xiao-yu Wang, D. Mahinda Vilathgamuwa, S. S. Choi:
Energy Storage System Design for a Power Buffer System to Provide Load Ride-through. - D. Mahinda Vilathgamuwa, X. Y. Wang, King-Jet Tseng, Chandana Jayampathi Gajanayake:
Z-source Inverter Based Grid-interface For Variable-speed Permanent Magnet Wind Turbine Generators. - Weifeng Liu, Dacheng Tao, Jun Cheng, Yuan Yan Tang:
Multiview Hessian Discriminative Sparse Coding for Image Annotation. - Xiongping Dai, Tingwen Huang, Yu Huang, Mingqing Xiao:
Chaotic Characteristics of Discrete-time Linear Inclusion Dynamical Systems. - Keki M. Burjorjee:
The Fundamental Learning Problem that Genetic Algorithms with Uniform Crossover Solve Efficiently and Repeatedly As Evolution Proceeds. - Paolo Di Lorenzo, Sergio Barbarossa, Stefania Sardellitti:
Joint Optimization of Radio Resources and Code Partitioning in Mobile Cloud Computing. - Yue Shi, Alexandros Karatzoglou, Linas Baltrunas, Martha Larson, Alan Hanjalic:
GAPfm: Optimal Top-N Recommendations for Graded Relevance Domains. - Andrea Farruggia, Paolo Ferragina, Antonio Frangioni, Rossano Venturini:
Bicriteria data compression. - Henning Zörlein, Faisal Akram, Martin Bossert:
Dictionary Adaptation in Sparse Recovery Based on Different Types of Coherence. - Alejandro Edera, Federico Schlüter, Facundo Bromberg:
Learning Markov networks with context-specific independences. - Yaroslav D. Sergeyev, Alfredo Garro:
Single-tape and Multi-tape Turing machines through the lens of the Grossone methodology. - Marcin Nagy, N. Asokan, Jörg Ott:
PeerShare: A System Secure Distribution of Sensitive Data Among Social Contacts. - D. S. Pavan Kumar, N. Vishnu Prasad, Vikas Joshi, Srinivasan Umesh:
Modified SPLICE and its Extension to Non-Stereo Data for Noise Robust Speech Recognition. - Diego Mendez, Benoit Baudry, Martin Monperrus:
Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software. - Hany SalahEldeen, Michael L. Nelson:
Reading the Correct History? Modeling Temporal Intention in Resource Sharing. - K. Karnavel, A. Baladhandayutham:
Shuffling: Improving Data Security in Ad Hoc Networks based on Unipath Routing. - Peter Sasvari:
A Conceptual Framework for Definition of the Correlation Between Company Size Categories and the Proliferation of Business Information Systems in Hungary. - John O. Pliam:
Alternating Product Ciphers: A Case for Provable Security Comparisons (extended abstract). - Sardar Muhammad Bilal, Muhammad Naveed Dilber, Atta ur Rehman Khan:
Routing Proposals for Multipath Interdomain Routing. - Atta ur Rehman Khan, Shahzad Ali, Saad Mustafa, Mazliza Othman:
Impact of mobility models on clustering based routing protocols in mobile WSNs. - Atta ur Rehman Khan, Sardar Muhammad Bilal, Mazliza Othman:
A Performance Comparison of Network Simulators for Wireless Networks. - Jie Wang, Jiayu Zhou, Jun Liu, Peter Wonka, Jieping Ye:
A Safe Screening Rule for Sparse Logistic Regression. - Biao He, Xiangyun Zhou, Thushara D. Abhayapala:
Wireless Physical Layer Security with Imperfect Channel State Information: A Survey. - Elsayed Ahmed, Ahmed M. Eltawil, Ashutosh Sabharwal:
Self-Interference Cancellation with Phase Noise Induced ICI Suppression for Full-Duplex Systems. - Parikshit Gopalan, Cheng Huang, Bob Jenkins, Sergey Yekhanin:
Explicit Maximally Recoverable Codes with Locality. - Jie Wang, Jun Liu, Jieping Ye:
Efficient Mixed-Norm Regularization: Algorithms and Safe Screening Methods. - Gabriele Puppis, Tiziano Villa:
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. EPTCS 119, 2013 [contents] - Revati Shriram, M. Sundhararajan, Nivedita Daimiwal:
Human Brain Mapping based on COLD Signal Hemodynamic Response and Electrical Neuroimaging. - Iztok Fister Jr., Xin-She Yang, Iztok Fister, Janez Brest, Dusan Fister:
A Brief Review of Nature-Inspired Algorithms for Optimization. - Lorenzo Fagiano, Trevor Marks:
Design of a small-scale prototype for research in airborne wind energy. - Baisakh, Nileshkumar R. Patel:
Energy Saving and Survival Routing Protocol for Mobile Ad Hoc Networks. - Peter Sasvari:
The State of Information and Communication Technology in Hungary, A Comparative Analysis. - Anna Adamaszek, Andreas Wiese:
A QPTAS for Maximum Weight Independent Set of Polygons with Polylogarithmically Many Vertices. - Martin Gairing, Tobias Harks, Max Klimm:
Complexity and Approximation of the Continuous Network Design Problem. - Shlomi Dolev, Robert Gmyr, Andréa W. Richa, Christian Scheideler:
Ameba-inspired Self-organizing Particle Systems. - René Sitters:
Polynomial time approximation schemes for the traveling repairman and other minimum latency problems. - Jyoti Singh, Nisheeth Joshi, Iti Mathur:
Part of Speech Tagging of Marathi Text Using Trigram Method. - Deepti Bhalla, Nisheeth Joshi, Iti Mathur:
Rule Based Transliteration Scheme for English to Punjabi. - Junichiro Fukuyama:
An Alternative Proof of the Exponential Monotone Complexity of the Clique Function. - Liliana Marcela Reina Leal, Rafael Repiso, Emilio Delgado López-Cózar:
H Index of scientific Nursing journals according to Google Scholar Metrics (2007-2011). - Kook Jin Ahn, Sudipto Guha:
Near Linear Time Approximation Schemes for Uncapacitated and Capacitated b-Matching Problems in Nonbipartite Graphs. - Kook Jin Ahn, Sudipto Guha:
Access to Data and Number of Iterations: Dual Primal Algorithms for Maximum Matching under Resource Constraints. - Nahier Aldhafferi, Charles Watson, A. S. M. Sajeev:
A Smart Wizard System Suitable for Use With Internet Mobile Devices to Adjust Personal Information Privacy Settings. - Narayanan Krishnan, Roy D. Yates, Narayan B. Mandayam:
Uplink Linear Receivers for Multi-cell Multiuser MIMO with Pilot Contamination: Large System Analysis. - Yu Liu, Alexander M. Haimovich, Wei Su, Jason A. Dabin, Emmanuel Kanterakis:
Modulation Classification of MIMO-OFDM Signals by Independent Component Analysis and Support Vector Machines. - Bo Bai, Wei Chen, Khaled Ben Letaief, Zhigang Cao:
An Outage Exponent Region based Coded f-Matching Framework for Channel Allocation in Multi-carrier Multi-access Channels. - Mahyar Shirvanimoghaddam, Yonghui Li, Shuang Tian, Branka Vucetic:
Distributed Raptor Coding for Erasure Channels: Partially and Fully Coded Cooperation. - Maciej Gazda, Tim A. C. Willemse:
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds. 7-20 - Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro:
Deciding the Satisfiability of MITL Specifications. 64-78 - Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke:
Profile Trees for Büchi Word Automata, with Application to Determinization. 107-121 - Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer:
Approximating the minimum cycle mean. 136-149 - Alessandra Di Pierro, Herbert Wiklicky:
Probabilistic data flow analysis: a linear equational approach. 150-165 - Wojciech Jamroga, Artur Meski, Maciej Szreter:
Modularity and Openness in Modeling Multi-Agent Systems. 224-239 - Dario Della Monica, Margherita Napoli, Mimmo Parente:
Model checking coalitional games in shortage resource scenarios. 240-255 - Deekshith P. K., Vinod Sharma, Ramachandran Rajesh:
AWGN Channel Capacity of Energy Harvesting Transmitters with a Finite Energy Buffer. - Dhammika Pieris:
Extending the ER Model to relational Model novel transformation Algorithm: transforming relationship Types among Subtypes. - Adam Kasperski, Pawel Zielinski:
Bottleneck combinatorial optimization problems with uncertain costs and the OWA criterion. - Jakub Mikians, László Gyarmati, Vijay Erramilli, Nikolaos Laoutaris:
Crowd-assisted Search for Price Discrimination in E-Commerce: First results. - Martianus Frederic Ezerman, Somphong Jitman, Patrick Solé:
Xing-Ling Codes, Duals of their Subcodes, and Good Asymmetric Quantum Codes. - Laura Sacerdote, Michele Garetto, Federico Polito, Matteo Sereno:
Superprocesses as models for information dissemination in the Future Internet. - Lei Wang, Xiaodong Wang, Yingjie Wu, Daxin Zhu:
Complete Solutions for a Combinatorial Puzzle in Linear Time. - Noga Alon, Nicolò Cesa-Bianchi, Claudio Gentile, Yishay Mansour:
From Bandits to Experts: A Tale of Domination and Independence. - Michael Lange, Gerard Gorman, Michèle Weiland, Lawrence Mitchell, Xiaohu Guo, James Southern:
Benchmarking mixed-mode PETSc performance on high-performance architectures. - Yunbin Zhao:
RSP-Based Analysis for Sparsest and Least ℓ1-Norm Solutions to Underdetermined Linear Systems. - Jérôme Fehrenbach, Pierre Weiss:
Processing stationary noise: model and parameter selection in variational methods. - Makhlad Chahid, Jérôme Bobin, Hamed Shams Mousavi, Emmanuel J. Candès, Maxime Dahan, Vincent Studer:
Hyperspectral fluorescence microscopy based on Compressive Sampling. - Taotao Wang, Soung Chang Liew:
Joint Channel Estimation and Channel Decoding in Physical-Layer Network Coding Systems: An EM-BP Factor Graph Framework. - Danny Munera, Daniel Diaz, Salvador Abreu:
Experimenting with X10 for Parallel Constraint-Based Local Search. - Marta Bílková, Alexander Kurz, Daniela Petrisan, Jiri Velebil:
Relation lifting, with an application to the many-valued cover modality. - Giovanni Di Liberto, Serdar Kadioglu, Kevin Leo, Yuri Malitsky:
DASH: Dynamic Approach for Switching Heuristics. - Rafael E. Carrillo, Kenneth E. Barner:
Lorentzian Iterative Hard Thresholding: Robust Compressed Sensing with Prior Information. - T. Dharani, I. Laurence Aroquiaraj:
Content Based Image Retrieval System using Feature Classification with Modified KNN Algorithm. - Jesse Kelly, Omar Ghattas, Hari Sundar:
A Nested Partitioning Scheme for Parallel Heterogeneous Clusters. - Maaz M. Mohiuddin, Varun Maheshwari, Sreejith T. Veetil, Kiran Kuchi, G. V. V. Sharma, Shahriar Emami:
Performance Limits of a Cloud Radio. - Ahmed El Shafie, Tamer Khattab, Amr El-Keyi, Mohammed Nafie:
Cooperation Between a Primary Terminal and an Energy Harvesting Cognitive Radio Terminal. - Ayan Sengupta, I-Hsiang Wang, Christina Fragouli:
Cooperative Relaying at Finite SNR - Role of Quantize-Map-and-Forward. - Yongpeng Wu, Chengshan Xiao, Xiqi Gao, John D. Matyjas, Zhi Ding:
Linear Precoder Design for MIMO Interference Channels with Finite-Alphabet Signaling. - Bo Bai, Wei Chen, Khaled Ben Letaief, Zhigang Cao:
Outage Exponent: A Unified Performance Metric for Parallel Fading Channels. - Yousef Elmehdwi, Bharath K. Samanthula, Wei Jiang:
Secure k-Nearest Neighbor Query over Encrypted Data in Outsourced Environments. - Zheng Wen, Benjamin Van Roy:
Efficient Exploration and Value Function Generalization in Deterministic Systems. - Carlos Castillo, Gianmarco De Francisci Morales, Marcelo Mendoza, Nasir Khan:
Automatic Analysis of Television News: Media, People, Framing and Bias. - Gilles Chardon, Laurent Daudet:
Source localization in reverberant rooms using sparse modeling and narrowband measurements. - Sudip Mittal, Neha Gupta, Prateek Dewan, Ponnurangam Kumaraguru:
The Pin-Bang Theory: Discovering The Pinterest World. - Jérémy Berthomieu, Jean-Charles Faugère, Ludovic Perret:
Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials. - Bowei Chen, Jun Wang, Ingemar J. Cox, Mohan S. Kankanhalli:
Multi-Keyword Multi-Click Option Contracts for Sponsored Search Advertising. - Purnendu Banerjee, B. B. Chaudhuri:
Video and Scene Text Localization using Wavelet and Shearlet Transforms. - Ruchir Gupta, Yatindra Nath Singh:
Avoiding Whitewashing in Unstructured Peer-to-Peer Resource Sharing Network. - Alexandru Cioaca, Adrian Sandu:
Low-rank Approximations for Computing Observation Impact in 4D-Var Data Assimilation. - Peng Qin, Bin Dai, Kui Wu, Benxiong Huang, Guan Xu:
DCE: A Novel Delay Correlation Measurement for Tomography with Passive Realization. - Per Austrin, Rajsekar Manokaran, Cenny Wenner:
On the NP-Hardness of Approximating Ordering Constraint Satisfaction Problems. - Alexios Balatsoukas-Stimming, Georgios Karakonstantis, Andreas Burg:
Enabling Complexity-Performance Trade-Offs for Successive Cancellation Decoding of Polar Codes. - Hsiang-Fu Yu, Prateek Jain, Inderjit S. Dhillon:
Large-scale Multi-label Learning with Missing Labels. - Stefano Gonella, Jarvis D. Haupt:
Automated Defect Localization via Low Rank Plus Outlier Modeling of Propagating Wavefield Data. - Michel X. Goemans, Thomas Rothvoß:
Polynomiality for Bin Packing with a Constant Number of Item Types. - Gemma Roig, Xavier Boix, Luc J. Van Gool:
Random Binary Mappings for Kernel Learning and Efficient SVM. - Weisi Guo, Siyi Wang, Xiaoli Chu, Jiming Chen, Hui Song, Jie Zhang:
Automated Small-Cell Deployment for Heterogeneous Cellular Networks. - Vahid Aref, Nicolas Macris, Marc Vuffray:
Approaching the Rate-Distortion Limit with Spatial Coupling, Belief propagation and Decimation. - Paul Dütting, Felix A. Fischer, David C. Parkes:
Expressiveness and Robustness of First-Price Position Auctions. - Serdar Ozyurt, Murat Torlak:
Unified Performance Analysis of Orthogonal Transmit Beamforming Methods with User Selection. - Vivek Kumar Bagaria, Ashwin Pananjady, Rahul Vaze:
Optimally Approximating the Lifetime of Wireless Sensor Networks. - Serdar Ozyurt, Murat Torlak:
Performance Analysis of Optimum Zero-Forcing Beamforming with Greedy User Selection. - Abdelhakim Herrouz, Chabane Khentout, Mahieddine Djoudi:
Navigation Assistance and Web Accessibility Helper. - Nikolaos Chatzis, Georgios Smaragdakis, Anja Feldmann:
On the importance of Internet eXchange Points for today's Internet ecosystem. - Monik Khare, Claire Mathieu, Neal E. Young:
First-Come-First-Served for Online Slot Allocation and Huffman Coding. - Marius Bozga, Radu Iosif, Filip Konecný:
Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops. - Emanuel Santos, Daniel Faria, Catia Pesquita, Francisco M. Couto:
Ontology alignment repair through modularization and confidence-based heuristics. - Pekka Malo, Ankur Sinha, Pyry Takala, Pekka J. Korhonen, Jyrki Wallenius:
Good Debt or Bad Debt: Detecting Semantic Orientations in Economic Texts. - Oguz Semerci, Ning Hao, Misha Elena Kilmer, Eric L. Miller:
Tensor-based formulation and nuclear norm regularization for multi-energy computed tomography. - Thomas Eder, Michael Rodler, Dieter Vymazal, Markus Zeilinger:
ANANAS - A Framework For Analyzing Android Applications. - Arash Mohammadi, Amir Asif, Xionghu Zhong, A. Benjamin Premkumar:
Distributed Computation of the Conditional PCRLB for Quantized Decentralized Particle Filters. - Chanchal Yadav, Shuliang Wang, Manoj Kumar:
Algorithm and approaches to handle large Data- A Survey. - Yaqin Zhou, Xiang-Yang Li:
Multi-Armed Bandits With Combinatorial Strategies Under Stochastic Bandits. - Francesca P. Carli, Lipeng Ning, Tryphon T. Georgiou:
Approximation in the Wasserstein distance with application to clustering. - Yun Xu, Edmund M. Yeh, Muriel Médard:
Approaching Gaussian Relay Network Capacity in the High SNR Regime: End-to-End Lattice Codes. - Sakrapee Paisitkriangkrai, Chunhua Shen, Anton van den Hengel:
A scalable stage-wise approach to large-margin multi-class loss based boosting. - Yuval Domb, Ram Zamir, Meir Feder:
The Random Coding Bound Is Tight for the Average Linear Code or Lattice. - Vijay G. Subramanian, Michael L. Honig, Randy Berry:
Comparative Statics On The Allocation Of Spectrum. - Youlong Wu, Paolo Minero, Michele A. Wigger:
Insufficiency of Linear-Feedback Schemes In Gaussian Broadcast Channels with Common Message. - Sira Ferradans, Nicolas Papadakis, Gabriel Peyré, Jean-François Aujol:
Regularized Discrete Optimal Transport. - Youlong Wu, Michele A. Wigger:
Any Positive Feedback Rate Increases the Capacity of Strictly Less-Noisy Broadcast Channels. - Henk D. L. Hollmann, Wencin Poh:
Characterizations and construction methods for linear functional-repair storage codes. - Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu:
Proof search for propositional abstract separation logics via labelled sequents. - M. Naresh Kumar:
Performance comparison of State-of-the-art Missing Value Imputation Algorithms on Some Bench mark Datasets. - Jatin Agarwal, Nadeem Moidu, Kishore Kothapalli, Kannan Srinathan:
Efficient Range Reporting of Convex Hull. - Evangelia Matskani, Nestor D. Chatzidiamantis, Leonidas Georgiadis, Iordanis Koutsopoulos, Leandros Tassiulas:
Optimal Primary-Secondary user Cooperation Policies in Cognitive Radio Networks. - Duc Phu Chau, Julien Badie, François Brémond, Monique Thonnat:
Online Tracking Parameter Adaptation based on Evaluation. - Nicolas Riche, Matthieu Duvinage, Matei Mancas, Bernard Gosselin, Thierry Dutoit:
A study of parameters affecting visual saliency assessment. - Yasin Kavak, Erkut Erdem, Aykut Erdem:
Visual saliency estimation by integrating features using multiple kernel learning. - Martin Grohe, Kristian Kersting, Martin Mladenov, Erkal Selman:
Dimension Reduction via Colour Refinement. - Jan Tünnermann, Dieter Enns, Bärbel Mertsching:
Saliency-Guided Perceptual Grouping Using Motion Cues in Region-Based Artificial Visual Attention. - Roberto Di Pietro, Gabriele Oligeri:
Silence is Golden: exploiting jamming and radio silence to communicate. - Esther Luna Colombini, Alexandre da Silva Simões, Carlos H. C. Ribeiro:
Top-down and Bottom-up Feature Combination for Multi-sensor Attentive Robots. - R. Sandanalakshmi, P. Abinaya Viji, M. Kiruthiga, M. Manjari, M. Sharina:
Speaker Independent Continuous Speech to Text Converter for Mobile Application. - (Withdrawn) An exact algorithm for 1-in-3 SAT.
- Subra Mukherjee, Karen Das:
An Adaptive GMM Approach to Background Subtraction for Application in Real Time Surveillance. - Luis Barba, Prosenjit Bose, Mirela Damian, Rolf Fagerberg, Joseph O'Rourke, André van Renssen, Perouz Taslakian, Sander Verdonschot:
New and Improved Spanning Ratios for Yao Graphs. - Robert R. Tucci:
An Information Theoretic Measure of Judea Pearl's Identifiability and Causal Influence. - Masoumeh Vali:
A New Approach for Finding the Global Optimal Point Using Subdividing Labeling Method (SLM). - Mansurul Bhuiyan, Mohammad Al Hasan:
MIRAGE: An Iterative MapReduce based FrequentSubgraph Mining Algorithm. - Suayb S. Arslan, Jaewook Lee, Turguy Goker:
Embedding Noise Prediction into List-Viterbi Decoding using Error Detection Codes for Magnetic Tape Systems. - Xiao Chen, Zizhuo Wang:
A Near-Optimal Dynamic Learning Algorithm for Online Matching Problems with Concave Returns. - Guang Yang, John H. Hipwell, David J. Hawkes, Simon R. Arridge:
Numerical Methods for Coupled Reconstruction and Registration in Digital Breast Tomosynthesis. - Najla Akram Al-Saati, Marwa Abd-AlKareem:
The Use of Cuckoo Search in Estimating the Parameters of Software Reliability Growth Models. - Yahya H. Ezzeldin, Radwa A. Sultan, Karim G. Seddik:
Sparse Reconstruction-based Detection of Spatial Dimension Holes in Cognitive Radio Networks. - Yahya H. Ezzeldin, Karim G. Seddik:
Pseudo-Lattice Treatment for Subspace Aligned Interference Signals. - Xuelin Shi, Ke Xu, Jiangchuan Liu, Yong Wang:
Continuous Double Auction Mechanism and Bidding Strategies in Cloud Computing Markets. - Damien Lefortier, Liudmila Ostroumova, Egor Samosvat, Pavel Serdyukov:
Timely crawling of high-quality ephemeral new content. - Theodore Book, Dan S. Wallach:
A Case of Collusion: A Study of the Interface Between Ad Libraries and their Apps. - Steven David Prestwich, S. Armagan Tarim, Roberto Rossi, Brahim Hnich:
Forecasting Intermittent Demand by Hyperbolic-Exponential Smoothing. - Liang Liu, Rui Zhang, Kee-Chaing Chua:
Secrecy Wireless Information and Power Transfer with MISO Beamforming. - Ruoyu Sun, Zhi-Quan Luo:
Two Performance-limiting Factors for Interference Alignment: Channel Diversity Order and the Number of Data Streams Per User. - Paul Reverdy, Vaibhav Srivastava, Naomi Ehrich Leonard:
Modeling Human Decision-making in Generalized Gaussian Multi-armed Bandits. - Nisheeth Joshi, Hemant Darbari, Iti Mathur:
Human and Automatic Evaluation of English-Hindi Machine Translation. - Lucas Paletta, Laurent Itti, Björn W. Schuller, Fang Fang:
6th International Symposium on Attention in Cognitive Systems 2013. - Moritz Kreutzer, Georg Hager, Gerhard Wellein, Holger Fehske, Alan R. Bishop:
A unified sparse matrix data format for modern processors with wide SIMD units. - Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn:
Static Contract Checking for Scripting Languages. - Ankur Sinha, Pekka Malo, Anton Frantsev, Kalyanmoy Deb:
Finding Optimal Strategies in a Multi-Period Multi-Leader-Follower Stackelberg Game Using an Evolutionary Algorithm. - Ankur Sinha, Pekka Malo, Anton Frantsev, Kalyanmoy Deb:
Multi-objective Stackelberg Game Between a Regulating Authority and a Mining Company: A Case Study in Environmental Economics. - Waldemar W. Koczkodaj, Ryszard Szwarc:
On Axiomatization of Inconsistency Indicators in Pairwise Comparisons. - Xiaoming Chen, Chau Yuen, Zhaoyang Zhang:
Wireless Energy and Information Transfer Tradeoff for Limited Feedback Multi-Antenna Systems with Energy Beamforming. - Tom Hirschowitz:
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting. - Mohammad Ibrahim Khan, Md. Maklachur Rahman, Md. Iqbal Hasan Sarker:
Digital Watermarking for Image AuthenticationBased on Combined DCT, DWT and SVD Transformation. - Tanya Chernyakova, Yonina C. Eldar:
Fourier Domain Beamforming: The Path to Compressed Ultrasound Imaging. - Zhiping Jiang, Jizhong Zhao, Xiang-Yang Li, Wei Xi, Kun Zhao, Shaojie Tang, Jinsong Han:
Communicating Is Crowdsourcing: Wi-Fi Indoor Localization with CSI-based Speed Estimation. - Stefano Rosati, Karol Kruzelecki, Louis Traynard, Bixio Rimoldi:
Speed-Aware Routing for UAV Ad-Hoc Networks. - Takakazu Mori, Yoshiki Tsujii, Mariko Yasugi:
Computability of Probability Distributions and Characteristic Functions. - Karl Harrison, Jonathan P. Bowen, Alice M. Bowen:
Electronic Visualisation in Chemistry: From Alchemy to Art. - Josif Grabocka, Martin Wistuba, Lars Schmidt-Thieme:
Time-Series Classification Through Histograms of Symbolic Polynomials. - Umakant Mishra:
Inventions on reducing number of keys on a Computer Keyboard - A TRIZ based analysis. - Ralph Tanbourgi, Harpreet S. Dhillon, Jeffrey G. Andrews, Friedrich K. Jondral:
Effect of Spatial Interference Correlation on the Performance of Maximum Ratio Combining. - Nicolas Boumal, Xiuyuan Cheng:
Expected performance bounds for estimation on graphs from random relative measurements. - Bijay Paikaray:
Relative Performance of a Multi-level Cache with Last-Level Cache Replacement: An Analytic Review. - Bartosz Boguslawski, Vincent Gripon, Fabrice Seguin, Frédéric Heitzmann:
Storing non-uniformly distributed messages in networks of neural cliques. - Christian Knauer, Stefan König, Daniel Werner:
Fixed Parameter Complexity and Approximability of Norm Maximization. - Van Tien Nguyen, Christian Sallaberry, Mauro Gaio:
Mesure de la similarité entre termes et labels de concepts ontologiques. - Gábor Ivanyos, Marek Karpinski, Youming Qiao, Miklos Santha:
Generalized Wong sequences and their applications to Edmonds' problems. - Alain Couvreur, Philippe Gaborit, Valérie Gauthier-Umaña, Ayoub Otmani, Jean-Pierre Tillich:
Distinguisher-Based Attacks on Public-Key Cryptosystems Using Reed-Solomon Codes. - Ayse Ünsal, Raymond Knopp:
Distortion bounds and Two-Way Protocols for One-Shot Transmission of Correlated Random Variables. - Hector Ferrada, Travis Gagie, Tommi Hirvola, Simon J. Puglisi:
AliBI: An Alignment-Based Index for Genomic Datasets. - Florent Becker, Mathieu Chapelle, Jérôme Durand-Lose, Vincent Levorato, Maxime Senot:
Abstract Geometrical Computation 8: Small Machines, Accumulations and Rationality. - Sundeep Prabhakar Chepuri, Geert Leus, Alle-Jan van der Veen:
Rigid Body Localization Using Sensor Networks: Position and Orientation Estimation. - Bubacarr Bah, Jared Tanner:
On construction and analysis of sparse random matrices and expander graphs with applications to compressed sensing. - Aleksandar Ilic:
On the variable common due date, minimal tardy jobs bicriteria two-machine flow shop problem with ordered machines. - Parinaz Naghizadeh Ardabili, Mingyan Liu:
Incentives, Quality, and Risks: A Look Into the NSF Proposal Review Pilot. - Shofwatul 'Uyun, Sri Hartati, Agus Harjoko, Subanar:
Selection Mammogram Texture Descriptors Based on Statistics Properties Backpropagation Structure. - M. A. El-Dosuky:
Veni Vidi Vici, A Three-Phase Scenario For Parameter Space Analysis in Image Analysis and Visualization. - Abdelkarim Moumen, Abdelkarim Zatni, Abdelhamid Elkaaouachi, Abdenabi Elyamani, Hamza Bousseta:
Time-Domain Large Signal Investigation on Dynamic Responses of the GDCC Quarterly Wavelength Shifted Distributed Feedback Semiconductor Laser. - Georgel Calin, Egor Derevenetc, Rupak Majumdar, Roland Meyer:
A Theory of Partitioned Global Address Spaces. - Shaobo Lin, Chen Xu, Jinshan Zeng, Jian Fang:
Does generalization performance of lq regularization learning depend on q? A negative example. - Zhixiong Chen, Zhihua Niu, Chenhuang Wu:
On the $k$-error linear complexity of binary sequences derived from polynomial quotients. - Chetan Jhurani, Travis M. Austin, Michael A. Heroux, James M. Willenbring:
Supporting 64-bit global indices in Epetra and other Trilinos packages - Techniques used and lessons learned. - Ruchir Gupta, Yatindra Nath Singh:
A Reputation Based Framework to Avoid Free-riding in Unstructured Peer-to-Peer network. - Luérbio Faria, Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Tao-Ming Wang, Yue-Li Wang:
On Complexities of Minus Domination. - Jonathan Scarlett, Li Peng, Neri Merhav, Alfonso Martinez, Albert Guillen i Fabregas:
Expurgated Random-Coding Ensembles: Exponents, Refinements and Connections. - Valentina Martina, Michele Garetto, Emilio Leonardi:
A unified approach to the performance analysis of caching systems. - Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions. - Steven T. Piantadosi, Harry Tily, Edward Gibson:
Information content versus word length in natural language: A reply to Ferrer-i-Cancho and Moscoso del Prado Martin [arXiv: 1209.1751]. - Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system. - Lucy Amez, Nadine Rons:
Composing a Publication List for Individual Researcher Assessment by Merging Information from Different Sources. - Nadine Rons, Arlette De Bruyn:
Quality related publication categories in social sciences and humanities, based on a university's peer review assessments. - Nadine Rons:
Output and citation impact of interdisciplinary networks: Experiences from a dedicated funding program. - Ilia Levi, Dan Vilenchik, Michael Langberg, Michelle Effros:
Zero vs. epsilon Error in Interference Channels. - Nadine Rons:
Characteristics of International versus Non-International Scientific Publication Media in Team- and Author-Based Data. - Nadine Rons:
Partition-based Field Normalization: An approach to highly specialized publication records. - Eugénio Rodrigues, Adélio Rodrigues Gaspar, Álvaro Gomes:
A gradient descent technique coupled with a dynamic simulation to determine the near optimum of floor plan designs. - Paul C. Attie, Fadi A. Zaraket, Mohamad Noureddine, Farah El-Hariri:
Specification Construction Using Behaviours, Equivalences, and SMT Solvers. - Johannes Borgström, Bas Luttik:
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. EPTCS 120, 2013 [contents] - Rajib Kumar Rana, Mingrui Yang, Tim Wark, Chun Tung Chou, Wen Hu:
A Deterministic Construction of Projection matrix for Adaptive Trajectory Compression. - Reza Hooshmand, Masoumeh Koochak Shooshtari, Mohammad Reza Aref:
Secret Key Cryptosystem based on Polar Codes over Binary Erasure Channel. - Faisal Rasheed Lone, Arjun Puri, Sudesh Kumar:
Performance Comparison of Reed Solomon Code and BCH Code over Rayleigh Fading Channel. - Renu Mudgal, Rosy Madaan, A. K. Sharma, Ashutosh Dixit:
A Novel Architecture For Question Classification Based Indexing Scheme For Efficient Question Answering. - Béla Csaba, Thomas A. Plick, Ali Shokoufandeh:
Optimal Random Matchings, Tours, and Spanning Trees in Hierarchically Separated Trees. - Alvaro Cabezas-Clavijo, Emilio Delgado López-Cózar:
Google Scholar Metrics 2013: nothing new under the sun. - (Withdrawn) Reduced egomotion estimation drift using omnidirectional views.
- K. S. Kuppusamy, Leena Mary Francis, G. Aghila:
LogMin: A Model For Call Log Mining In Mobile Devices. - Reza Azizi:
Performance study and simulation of an anycast protocol for wireless mobile ad hoc networks. - Weisi Guo, Siyi Wang, Xiaoli Chu:
Towards a Better Understanding of Multi-User Cooperation: A Tradeoff between Transmission Reliability and Rate. - Marco Anisetti, Claudio Agostino Ardagna, Michele Bezzi, Ernesto Damiani, Antonino Sabetta:
Machine-Readable Privacy Certificates for Services. - Milos S. Stankovic, Srdjan S. Stankovic, Karl Henrik Johansson:
Distributed Macro Calibration via Output Synchronization in Lossy Sensor Networks. - Andrey Bereza, Maksim Lyashov, Luis Blanco:
Finite State Machine Synthesis for Evolutionary Hardware. - Stefanie Roos, Hani Salah, Thorsten Strufe:
Comprehending Kademlia Routing - A Theoretical Framework for the Hop Count Distribution. - Mohsin Raza Jafri, S. Ahmed, Nadeem Javaid, Zaheer Ahmad, R. J. Qureshi:
AMCTD: Adaptive Mobility of Courier nodes in Threshold-optimized DBR Protocol for Underwater Wireless Sensor Networks. - Nadine Rons, Arlette De Bruyn, Jan Cornelis:
Research evaluation per discipline: a peer-review method and its outcomes. - Nadine Rons, Lucy Amez:
Impact vitality: an indicator based on citing publications in search of excellent scientists. - Drazen Lucanin, Ivona Brandic:
Take a break: cloud scheduling optimized for real-time electricity pricing. - Khalid Raza, Atif N. Hasan:
A Comprehensive Evaluation of Machine Learning Techniques for Cancer Class Prediction Based on Microarray Data. - A. Haider, Nadeem Javaid, N. Amjad, A. A. Awan, Abid Khan, Nasir Khan:
REECH-ME: Regional Energy Efficient Cluster Heads based on Maximum Energy Routing Protocol for WSNs. - I. Khan, Nadeem Javaid, M. N. Ullah, Anzar Mahmood, M. U. Farooq:
A Survey of Home Energy Management Systems in Future Smart Grid Communications. - Danish Mahmood, Nadeem Javaid, Shaharyar Mahmood, S. U. Qureshi, A. M. Memon, T. Zaman:
MODLEACH: A Variant of LEACH for WSNs. - Antti Valmari:
The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem (Extended Version). - Anum Tauqir, Nadeem Javaid, S. Akram, Areeba Rao, Saad Noor Mohammad:
Distance Aware Relaying Energy-efficient: DARE to Monitor Patients in Multi-hop Body Area Sensor Networks. - N. Amjad, Nadeem Javaid, A. Haider, A. A. Awan, M. Rahman:
DREEM-ME: Distributed Regional Energy Efficient Multi-hop Routing Protocol based on Maximum Energy in WSNs. - Weitian Tong, Zhi-Zhong Chen, Lusheng Wang, Yinfeng Xu, Jiuping Xu, Randy Goebel, Guohui Lin:
An approximation algorithm for the Bandpass-2 problem. - Mahin Abbasipour:
Toward Recovering Complete SRS for Softbody Simulation System and a Sample Application - a Team 9a SOEN6481 W13 Project Report. - Q. Nadeem, Nadeem Javaid, Saad Noor Mohammad, M. Y. Khan, S. Sarfraz, M. Gull:
SIMPLE: Stable Increased-throughput Multi-hop Protocol for Link Efficiency in Wireless Body Area Networks. - Q. Nadeem, Muhammad Babar Rasheed, Nadeem Javaid, Zahoor Ali Khan, Y. Maqsood, A. Din:
M-GEAR: Gateway-Based Energy-Aware Multi-Hop Routing Protocol for WSNs. - S. Akram, Nadeem Javaid, Anum Tauqir, Areeba Rao, Saad Noor Mohammad:
THE-FAME: THreshold based Energy-efficient FAtigue MEasurment for Wireless Body Area Sensor Networks using Multiple Sinks. - Y. Khan, Nadeem Javaid, M. J. Khan, Y. Ahmad, M. H. Zubair, S. A. Shah:
LPCH and UDLPCH: Location-aware Routing Techniques in WSNs. - Piyush Ahuja:
Man and Machine: Questions of Risk, Trust and Accountability in Today's AI Technology. - Megumi Fujita, Yuki Goto, Naoyuki Nide, Ken Satoh, Hiroshi Hosobe:
An Architecture for Autonomously Controlling Robot with Embodiment in Real World. - Eirina Bourtsoulatze, Nikolaos Thomos, Pascal Frossard:
Reconstruction of Network Coded Sources From Incomplete Datasets. - Gabi Sarkis, Pascal Giard, Alexander Vardy, Claude Thibeault, Warren J. Gross:
Fast Polar Decoders: Algorithm and Implementation. - Aleams Barra, Heide Gluesing-Luerssen:
MacWilliams Extension Theorems and the Local-Global Property for Codes over Rings. - Antonio Franchi, Paolo Stegagno, Giuseppe Oriolo:
Decentralized Multi-Robot Target Encirclement in 3D Space. - Brian Keegan, Daniel B. Horn, Thomas A. Finholt, Joseph Kaye:
Structure and Dynamics of Coauthorship, Citation, and Impact within CSCW. - Fanny Parzysz, Mai Vu, François Gagnon:
Impact of Propagation Environment on Energy-Efficient Relay Placement: Model and Performance Analysis. - Mehrdad Mahdavi, Rong Jin:
MixedGrad: An O(1/T) Convergence Rate Algorithm for Stochastic Smooth Optimization. - Vinay Joseph, Gustavo de Veciana:
NOVA: QoE-driven Optimization of DASH-based Video Delivery in Networks. - Giovanni Geraci, Harpreet S. Dhillon, Jeffrey G. Andrews, Jinhong Yuan, Iain B. Collings:
Physical Layer Security in Downlink Multi-Antenna Cellular Networks. - Fuxi Wen:
Diffusion Least Mean P-Power Algorithms for Distributed Estimation in Alpha-Stable Noise Environments. - Adrian Ogierman, Andréa W. Richa, Christian Scheideler, Stefan Schmid, Jin Zhang:
Competitive MAC under Adversarial SINR. - Arijit Banerjee, Dustin Maas, Maurizio Bocca, Neal Patwari, Sneha Kumar Kasera:
Through Wall People Localization Exploiting Radio Windows. - Saad Noor Mohammad, M. J. Ashraf, S. Wasiq, Sehar Iqbal, Nadeem Javaid:
Analysis and Modeling of Network Connectivity in Routing Protocols for MANETs and VANETs. - Saad Noor Mohammad, S. Wasiq, W. Arshad, Nadeem Javaid, S. Khattak, M. J. Ashraf:
Modeling Probability of Path Loss for DSDV, OLSR and DYMO above 802.11 and 802.11p. - Anum Tauqir, S. Akram, A. H. Khan, Nadeem Javaid, M. Akbar:
Non-Invasive Induction Link Model for Implantable Biomedical Microsystems: Pacemaker to Monitor Arrhythmic Patients in Body Area Networks. - Nadeem Javaid, S. Faisal, Zahoor Ali Khan, D. Nayab, M. Zahid:
Measuring Fatigue of Soldiers in Wireless Body Area Sensor Networks. - Areeba Rao, M. Akbar, Nadeem Javaid, Saad Noor Mohammad, S. Sarfraz:
AM-DisCNT: Angular Multi-hop DIStance based Circular Network Transmission Protocol for WSNs. - Stelios Stefanatos, Angeliki Alexiou:
Access Point Density and Bandwidth Partitioning in Ultra Dense Wireless Networks. - Iván Blanco-Chacón, Dionís Remón, Camilla Hollanti, Montserrat Alsina:
Fuchsian codes for AWGN channels. - Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti:
The predecessor-existence problem for k-reversible processes. - Florin Ciucu, Jens B. Schmitt:
On the Catalyzing Effect of Randomness on the Per-Flow Throughput in Wireless Networks. - Harjinder Kaur, Gurpreet Singh, Jaspreet Minhas:
A Review of Machine Learning based Anomaly Detection Techniques. - Denzil Correa, Ashish Sureka:
Fit or Unfit : Analysis and Prediction of 'Closed Questions' on Stack Overflow. - Richard Combes, Alexandre Proutière, Donggyu Yun, Jungseul Ok, Yung Yi:
Optimal Rate Sampling in 802.11 Systems. - Piotr Faliszewski, Yannick Reisch, Jörg Rothe, Lena Schend:
Complexity of Manipulation, Bribery, and Campaign Management in Bucklin and Fallback Voting. - Zhong Li, Cheng Wang, Siqian Yang, Changjun Jiang, Ivan Stojmenovic:
Improving Data Forwarding in Mobile Social Networks with Infrastructure Support: A Space-Crossing Community Approach. - Eiad Basher Alhyasat, Mahmoud Al-Dalahmeh:
Data Warehouse Success and Strategic Oriented Business Intelligence: A Theoretical Framework. - Aditya Kurve, David J. Miller, George Kesidis:
Multicategory Crowdsourcing Accounting for Plurality in Worker Skill and Intention, Task Difficulty, and Task Heterogeneity. - (Withdrawn) PRINCE: Privacy-Preserving Mechanisms for Influence Diffusion in Online Social Networks.
- Fiks Ilya:
A novel method based on the Tikhonov functional for non-negative solution of a system of linear equations with non-negative coefficients. - Emanuele Bastianelli, Domenico Bloisi, Roberto Capobianco, Guglielmo Gemignani, Luca Iocchi, Daniele Nardi:
Knowledge Representation for Robots through Human-Robot Interaction. - Benjamin Andres, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, David Rajaratnam:
ROSoClingo: A ROS package for ASP-based robot control. - Przemyslaw Andrzej Walega:
Reasoning for Moving Blocks Problem: Formal Representation and Implementation. - Wajdi Dhifli, Mohamed Moussaoui, Rabie Saidi, Engelbert Mephu Nguifo:
Towards an Efficient Discovery of the Topological Representative Subgraphs. - Amin Babazadeh Sangar, Seyyed Reza Khaze, Laya Ebrahimi:
Participation anticipating in elections using data mining methods. - Farhad Soleimanian Gharehchopogh, Seyyed Reza Khaze:
Data mining application for cyber space users tendency in blog writing: a case study. - Zhili Chen, Liusheng Huang, Lu Li, Wei Yang, Haibo Miao, Miaomiao Tian, Fei Wang:
PS-TRUST: Provably Secure Solution for Truthful Double Spectrum Auctions. - Farhad Soleimanian Gharehchopogh, Isa Maleki, Seyyed Reza Khaze:
A new approach in dynamic traveling salesman problem: a hybrid of ant colony optimization and descending gradient. - Iliano Cervesato, Jorge Luis Sacchini:
Towards Meta-Reasoning in the Concurrent Logical Framework CLF. 2-16 - Daniel Gebler, Simone Tini:
Compositionality of Approximate Bisimulation for Probabilistic Systems. 32-46 - Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar:
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. 47-62 - Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi:
Algebraic Meta-Theory of Processes with Data. 63-77 - Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir:
Meta SOS - A Maude Based SOS Meta-Theory Framework. 93-107 - Zhiyong Chen, Biao Wang, Bin Xia, Hui Liu:
Wireless Information and Power Transfer in Two-Way Amplify-and-Forward Relaying Channels. - Hong Xu, Baochun Li:
RepFlow: Minimizing Flow Completion Times with Replicated Flows in Data Centers. - Esra Erdem, Volkan Patoglu, Peter Schüller:
Levels of Integration between Low-Level Reasoning and Task Planning. - Sharath Chandra Guntuku, Pratik Narang, Chittaranjan Hota:
Real-time Peer-to-Peer Botnet Detection Framework based on Bayesian Regularized Neural Network. - Damien Jade Duff, Esra Erdem, Volkan Patoglu:
Integration of 3D Object Recognition and Planning for Robotic Manipulation: A Preliminary Report. - Puneet Kumar, Dharminder Kumar, Narendra Kumar:
Improved Service Delivery and Cost Effective Framework for e-Governance in India. - R. Subash Chandra Boss, K. Thangavel, D. Arul Pon Daniel:
Automatic Mammogram image Breast Region Extraction and Removal of Pectoral Muscle. - Iza Marfisi-Schottman, Jean-Marc Labat, Thibault Carron:
Building on the Case Teaching Method to Generate Learning Games Relevant to Numerous Educational Fields. - Zeynep Dogmus, Esra Erdem, Volkan Patoglu:
ReAct! An Interactive Tool for Hybrid Planning in Robotics. - Lutz Bornmann, Werner Marx, Andreas Barth:
The normalization of citation counts based on classification systems. - P. Vasanth Sena:
An Approach Finding Frequent Items In Text Or Transactional Data Base By Using BST To Improve The Efficiency Of Apriori Algorithm. - Mohsen Joneidi, Parvin Ahmadi, Mostafa Sadeghi:
A Union of Low-Rank Subspaces Detector: Application to Radar Signal Detection and Voice Activity Detection. - Felix Fontein, Michael Schneider, Urs Wagner:
PotLLL: A Polynomial Time Version of LLL With Deep Insertions. - Derrick Wing Kwan Ng, Lin Xiang, Robert Schober:
Multi-Objective Beamforming for Secure Communication in Systems with Wireless Information and Power Transfer. - Yuzhe Xu, George Athanasiou, Carlo Fischione, Leandros Tassiulas:
Distributed Association Control and Relaying in MillimeterWave Wireless Access Networks. - Jun Liu, Zheng Zhao, Jie Wang, Jieping Ye:
Safe Screening With Variational Inequalities and Its Applicaiton to LASSO. - Florin Ciucu, Ramin Khalili, Yuming Jiang, Liu Yang, Yong Cui:
A System Theoretic Approach for Network Capacity in Finite Time and Space Regimes. - Patrick Zwickl, Paul Fuxjäger, Ivan Gojmerac, Peter Reichl:
Wi-Fi Offload: Tragedy of the Commons or Land of Milk and Honey? - (Withdrawn) Association schemes, non-commutative polynomial concentration, and sum-of-squares lower bounds for planted clique.
- Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran:
Resolution in Linguistic Propositional Logic based on Linear Symmetrical Hedge Algebra. - Kartik Talamadupula, Subbarao Kambhampati:
Herding the Crowd: Automated Planning for Crowdsourced Planning. - Guoming Tang, Kui Wu, Jingsheng Lei, Zhongqin Bi, Jiuyang Tang:
From Landscape to Portrait: A New Approach for Load Curve Data Analysis and Cleansing. - Harsh Bhatia, Bei Wang, Gregory Norgard, Valerio Pascucci, Peer-Timo Bremer:
Local, Smooth, and Consistent Jacobi Set Simplification. - Guoming Tang, Kui Wu, Jian Pei, Jiuyang Tang, Jingsheng Lei:
Is My Electricity Bill Accurate? A Model-Driven Approach to Corrupted Load Data Identification. - Jeffrey G. Andrews, Sarabjot Singh, Qiaoyang Ye, Xingqin Lin, Harpreet S. Dhillon:
An Overview of Load Balancing in HetNets: Old Myths and Open Problems. - Quist-Aphetsi Kester:
A Hybrid Cryptosystem Based On Vigenere Cipher and Columnar Transposition Cipher. - Quist-Aphetsi Kester, Koumadi, Koudjo M, Nii Narku Quaynor:
An Integrated Geographic Information System and Marketing Information System Model. - Quist-Aphetsi Kester:
Computer Aided Investigation: Visualization and Analysis of data from Mobile communication devices using Formal Concept Analysis. - Quist-Aphetsi Kester:
The Role of Rural Banks in Providing Mobile Money Services to Rural Poor Communities: An effective integration approach of Rural Banks and existing mobile communications infrastructure. - Quist-Aphetsi Kester:
Using SOA with Web Services for effective Integration of Hospital Information Systems via an Enterprise Service Bus. - He Huang, Xiang-Yang Li, Yu-e Sun, Hongli Xu, Liusheng Huang:
PPS: Privacy-Preserving Strategyproof Social-Efficient Spectrum Auction Mechanisms. - Yongsub Lim, Kyomin Jung, Pushmeet Kohli:
Multi-dimensional Parametric Mincuts for Constrained MAP Inference. - Hongwei Wang, F. Richard Yu, Li Zhu, Tao Tang, Bin Ning:
Finite-State Markov Modeling of Tunnel Channels in Communication-based Train Control (CBTC) Systems. - Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
Les POMDP font de meilleurs hackers: Tenir compte de l'incertitude dans les tests de penetration. - Jesper Jansson, Chuanqi Shen, Wing-Kin Sung:
Algorithms for the Majority Rule (+) Consensus Tree and the Frequency Difference Consensus Tree. - Jun Deng, Rongqing Zhang, Lingyang Song, Zhu Han, Bingli Jiao:
Truthful Mechanisms for Secure Communication in Wireless Cooperative System. - Sudheer Vakati, David Fernández-Baca:
Characterizing Compatibility and Agreement of Unrooted Trees via Cuts in Graphs. - Animesh Kr Trivedi, Rishi Kapoor, Rajan Arora, Sudip Sanyal, Sugata Sanyal:
RISM - Reputation Based Intrusion Detection System for Mobile Ad hoc Networks. - Mohab Safey El Din, Éric Schost:
A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. - Sang Yeob Jung, Seung Min Yu, Seong-Lyun Kim:
Asymmetric-valued Spectrum Auction and Competition in Wireless Broadband Services. - Laurent Bulteau, Guillaume Fertin, Christian Komusiewicz, Irena Rusu:
A Fixed-Parameter Algorithm for Minimum Common String Partition with Few Duplications. - Lucas Paletta, Katrin Santner, Gerald Fritz:
An Integrated System for 3D Gaze Recovery and Semantic Analysis of Human Attention. - Stéphane Graham-Lengrand, Luca Paolini:
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. EPTCS 121, 2013 [contents] - Jingdong Wang, Jing Wang, Gang Zeng, Zhuowen Tu, Rui Gan, Shipeng Li:
Scalable $k$-NN graph construction. - Natalia Malinina:
The chromatic class and the chromatic number of the planar conjugated triangulation. - Robert Speck, Daniel Ruprecht, Matthew Emmett, Matthias Bolten, Rolf Krause:
A space-time parallel solver for the three-dimensional heat equation. - Samir Avdakovic, Amir Nuhanovic, Mirza Kusljugic, Elvisa Becirovic:
Wavelet Analysis of Dynamic Behaviors of the Large Interconnected Power System. - Ibrahim Omerhodzic, Samir Avdakovic, Amir Nuhanovic, Kemal Dizdarevic:
Energy Distribution of EEG Signals: EEG Signal Wavelet-Neural Network Classifier. - Zhen Jia, Runlin Zhou, Chunge Zhu, Lei Wang, Wanling Gao, Yingjie Shi, Jianfeng Zhan, Lixin Zhang:
The Implications of Diverse Applications and Scalable Data Sets in Benchmarking Big Data Systems. - Shigeru Ninagawa, Genaro J. Martínez:
Complexity Analysis in Cyclic Tag System Emulated by Rule 110. - Adam S. Charles, Han Lun Yap, Christopher J. Rozell:
Short Term Memory Capacity in Networks via the Restricted Isometry Property. - Jason Weston, Antoine Bordes, Oksana Yakhnenko, Nicolas Usunier:
Connecting Language and Knowledge Bases with Embedding Models for Relation Extraction. - Jingdong Wang, Jiazhen Zhou, Hao Xu, Tao Mei, Xian-Sheng Hua, Shipeng Li:
Image Tag Refinement by Regularized Latent Dirichlet Allocation. - Weiguang Wang, Yingbin Liang, Eric P. Xing:
Sharp Threshold for Multivariate Multi-Response Linear Regression via Block Regularized Lasso. - Holger Boche, Minglai Cai, Christian Deppe:
Classical-Quantum Arbitrarily Varying Wiretap Channel - A Capacity Formula with Ahlswede Dichotomy - Resources. - Zhen Jia, Lei Wang, Jianfeng Zhan, Lixin Zhang, Chunjie Luo:
Characterizing Data Analysis Workloads in Data Centers. - Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine:
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. EPTCS 122, 2013 [contents] - Nikhil R. Devanur, Jugal Garg, László A. Végh:
A Rational Convex Program for Linear Arrow-Debreu Markets. - Xinghao Pan, Joseph E. Gonzalez, Stefanie Jegelka, Tamara Broderick, Michael I. Jordan:
Optimistic Concurrency Control for Distributed Unsupervised Learning. - Rushdi Shams, Robert E. Mercer:
Extracting Connected Concepts from Biomedical Texts using Fog Index. - Mat Kelly, Justin F. Brunelle, Michele C. Weigle, Michael L. Nelson:
On the Change in Archivability of Websites Over Time. - Guanfeng Liang, Ulas C. Kozat:
TOFEC: Achieving Optimal Throughput-Delay Trade-off of Cloud Storage Using Erasure Codes. - Shiqi Zhang, Mohan Sridharan:
Combining Answer Set Programming and POMDPs for Knowledge Representation and Reasoning on Mobile Robots. - Quist-Aphetsi Kester:
Visualization and Analysis of Geographical Crime Patterns Using Formal Concept Analysis. - Esther Ezra:
A Size-Sensitive Discrepancy Bound for Set Systems of Bounded Primal Shatter Dimension. - Quist-Aphetsi Kester, Ajibade Ibrahim Kayode:
Using SOA with Web Services for effective data integration of Enterprise Pharmaceutical Information Systems. - Carlos Sarraute, Olivier Buffet, Jörg Hoffmann:
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. - Syaprina, Leon Andretti Abdillah, Nyimas Sopiah:
Sistem Informasi Penjualan Dan Perbaikan Komputer (Studi Kasus: CV Computer Plus Palembang). - Akitoshi Kawamura, Takuma Okamoto, Yuichi Tatsu, Yushi Uno, Masahide Yamato:
Morpion Solitaire 5D: a new upper bound of 121 on the maximum score. - Charith Perera, Arkady B. Zaslavsky, Peter Christen, Dimitrios Georgakopoulos:
Sensing as a Service Model for Smart Cities Supported by Internet of Things. - Sung Sik Nam, Hong-Chuan Yang, Mohamed-Slim Alouini, Dong In Kim:
Technical Report: An MGF-based Unified Framework to Determine the Joint Statistics of Partial Sums of Ordered i.n.d. Random Variables. - Jaume Pernas, Bernat Gaston, Chau Yuen, Jaume Pujol:
Non-homogeneous Two-Rack Model for Distributed Storage Systems. - Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Characterisation of Strongly Normalising lambda-mu-Terms. 1-17 - Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn:
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. 18-34 - Erika De Benedetti, Simona Ronchi Della Rocca:
Bounding normalization time through intersection types. 48-57 - Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Toward Isomorphism of Intersection and Union types. 58-80 - Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection. 1-9 - Assia Ben Shil, Kaouthar Blibech, Riadh Robbana, Wafa Neji:
A New PVSS Scheme with a Simple Encryption Function. 11-22 - Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch:
Compiling symbolic attacks to protocol implementation tests. 39-49 - Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker:
Formal verification of a proof procedure for the description logic ALC. 51-61 - Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet:
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation. 63-73 - Naeem Abbasi, Osman Hasan, Sofiène Tahar:
Formal Analysis of Soft Errors using Theorem Proving. 75-84 - Amira Henaien, Sorin Stratulat:
Performing Implicit Induction Reasoning with Certifying Proof Environments. 97-108 - Deepti Kapri, Rosy Madaan, A. K. Sharma, Ashutosh Dixit:
A Novel Architecture for Relevant Blog Page Identifcation. - Jan Tünnermann, Markus Hennig, Michael Silbernagel, Bärbel Mertsching:
A Prototyping Environment for Integrated Artificial Attention Systems. - Werner Marx, Lutz Bornmann, Andreas Barth, Loet Leydesdorff:
Detecting the historical roots of research fields by reference publication year spectroscopy (RPYS). - Abhay Sharma, Chandra R. Murthy:
On Finding a Subset of Healthy Individuals from a Large Population. - Masaaki Nagahara, Daniel E. Quevedo, Jan Østergaard:
Sparse Packetized Predictive Control for Networked Control over Erasure Channels. - Mauro Femminella, Francesco Giacinti, Gianluca Reali:
Enhancing Java Call Control with Media Server Control functions. - Sourav Chakraborty, Rameshwar Pratap, Sasanka Roy, Shubhangi Saraf:
Helly-Type Theorems in Property Testing. - Serge Abiteboul, Émilien Antoine, Gerome Miklau, Julia Stoyanovich, Vera Zaychik Moffitt:
Introducing Access Control in Webdamlog. - Somayeh Nabizadeh, Alireza Rezvanian, Mohammad Reza Meybodi:
Tracking Extrema in Dynamic Environment using Multi-Swarm Cellular PSO with Local Search. - Aurélien Greuet, Mohab Safey El Din:
Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set. - Ilya Y. Zhbannikov, Gregory W. Donohoe:
Allocating the chains of consecutive additions for optimal fixed-point data path synthesis. - Thakshila Wimalajeewa, Pramod K. Varshney:
Joint Sparsity Pattern Recovery under Communication Constraints: Greedy Approaches. - Ryma Abassi, Sihem Guemara El Fatmi:
Delegation Management Modeling in a Security Policy based Environment. 85-95 - Nana Yaw Asabere, Nana Kwame Gyamfi:
AIDSS-HR: An Automated Intelligent Decision Support System for Enhancing the Performance of Employees. - Pranjal Awasthi, Maria-Florina Balcan, Philip M. Long:
The Power of Localization for Efficiently Learning Linear Separators with Malicious Noise. - Ricardo Rocha, Christian Theil Have:
Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems. - Ilya Y. Zhbannikov, Gregory W. Donohoe:
FpSynt: a fixed-point datapath synthesis tool for embedded systems. - Bartlomiej Blaszczyszyn, Miodrag Jovanovic, Mohamed Kadhem Karray:
Mean user throughput versus traffic demand in large irregular cellular networks - a typical cell approach explaining real field measurements. - François Baccelli, Bartlomiej Blaszczyszyn, Chandramani Singh:
Analysis of a Proportionally Fair and Locally Adaptive spatial Aloha in Poisson Networks. - Bryan R. Conroy, Jennifer M. Walz, Brian Cheung, Paul Sajda:
Fast Simultaneous Training of Generalized Linear Models (FaSTGLZ). - Kun Yang:
Simple one-pass algorithm for penalized linear regression with cross-validation on MapReduce. - Marco Benini:
Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism. - Dan E. Willard:
On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux. - (Withdrawn) Quantum nonlocality allows for ever-lasting unconditionally secure bit commitment.
- Peyman Mohajerin Esfahani, Tobias Sutter, John Lygeros:
Performance Bounds for the Scenario Approach and an Extension to a Class of Non-convex Programs. - Ian J. Goodfellow, Dumitru Erhan, Pierre Luc Carrier, Aaron C. Courville, Mehdi Mirza, Benjamin Hamner, William Cukierski, Yichuan Tang, David Thaler, Dong-Hyun Lee, Yingbo Zhou, Chetan Ramaiah, Fangxiang Feng, Ruifan Li, Xiaojie Wang, Dimitris Athanasakis, John Shawe-Taylor, Maxim Milakov, John Park, Radu Tudor Ionescu, Marius Popescu, Cristian Grozea, James Bergstra, Jingjing Xie, Lukasz Romaszko, Bing Xu, Chuang Zhang, Yoshua Bengio:
Challenges in Representation Learning: A report on three machine learning contests. - Patrick Rebentrost, Masoud Mohseni, Seth Lloyd:
Quantum support vector machine for big feature and big data classification. - Maxim Raginsky, Angelia Nedic:
Online discrete optimization in social networks in the presence of Knightian uncertainty. - Vahid Bokharaie, Gholamreza Parsaee:
An Application of Joint Spectral Radius in Power Control Problem for Wireless Communications. - Ava Bargi, Richard Yi Da Xu, Massimo Piccardi:
A non-parametric conditional factor regression model for high-dimensional input and response. - Julian Sienkiewicz, Krzysztof Soja, Janusz A. Holyst, Peter M. A. Sloot:
Categorical and Geographical Separation in Science. - Baosen Zhang, Alejandro D. Domínguez-García, David Tse:
A Local Control Approach to Voltage Regulation in Distribution Networks. - Sarah J. Kunkler, Michael Drew Lamar, Rex K. Kincaid, David Phillips:
Algorithm and Complexity for a Network Assortativity Measure. - Pierluigi Amodio, Yuri A. Blinkov, Vladimir P. Gerdt, Roberto La Scala:
On Consistency of Finite Difference Approximations to the Navier-Stokes Equations. - Lorenzo Pucci, Pietro Gravino, Vito Domenico Pietro Servedio:
Modeling the emergence of a new language: Naming Game with hybridization. - Max A. Alekseyev, Marina G. Basova, Nikolai Yu. Zolotykh:
The average cardinality of the minimal teaching set of a threshold function on a two-dimensional rectangular grid. - Robert M. Freund, Paul Grigas, Rahul Mazumder:
AdaBoost and Forward Stagewise Regression are First-Order Convex Optimization Methods. - Byungjoon Min, Su Do Yi, Kyu-Min Lee, K.-I. Goh:
Network robustness of correlated multiplex networks. - Johan van Benthem, David Fernández-Duque, Eric Pacuit:
Evidence and plausibility in neighborhood structures. - George A. Lozano:
The elephant in the room: multi-authorship and the assessment of individual researchers. - A. M. Khachatryan, Rafayel R. Kamalian:
On the extremal values of the number of vertices with an interval spectrum on the set of proper edge colorings of the graph of the $n$-dimensional cube. - N. N. Davtyan, R. R. Kamalian:
An inequality for the number of vertices with an interval spectrum in edge labelings of regular graphs. - Alessandro Zocca, Sem C. Borst, Johan van Leeuwaarden, Francesca R. Nardi:
Delay performance in random-access grid networks. - Emanuele Cozzo, Raquel A. Baños, Sandro Meloni, Yamir Moreno:
Contact-based Social Contagion in Multiplex Networks. - Dario Madeo, Chiara Mocenni:
A New Mathematical Model for Evolutionary Games on Finite Networks of Players. - Anna Zafeiris, Tamás Vicsek:
Group performance is maximized by hierarchical competence distribution. - Dawei Zhao, Lixiang Li, Haipeng Peng, Qun Luo, Yixian Yang:
Multiple Vectors Propagation of Epidemics in Complex Networks. - Angelia Nedic, Soomin Lee:
On Stochastic Subgradient Mirror-Descent Algorithm with Weighted Averaging. - Vladimir A. Frolov, Scott Backhaus, Misha Chertkov:
Reinforcing Power Grid Transmission with FACTS Devices. - Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin:
An algorithm for deciding the finiteness of the number of simple permutations in permutation classes. - Àngel García-Cerdaña, Ventura Verdú:
On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions. - Bin Xu, Zhijian Wang:
Cycles of strategies and changes of distribution in public goods game: An experimental investigation. - Tyler H. Summers, Changbin Yu, Soura Dasgupta, Brian D. O. Anderson:
Certifying non-existence of undesired locally stable equilibria in formation shape control problems. - Albert Solé-Ribalta, Manlio De Domenico, Nikos E. Kouvaris, Albert Díaz-Guilera, Sergio Gómez, Alex Arenas:
Spectral properties of the Laplacian of multiplex networks. - Rossana Mastrandrea, Tiziano Squartini, Giorgio Fagiolo, Diego Garlaschelli:
Enhanced network reconstruction from irreducible local information. - Yaroslav O. Halchenko, Michael Hanke, James V. Haxby, Stephen Jose Hanson, Christoph S. Herrmann:
Transmodal Analysis of Neural Signals. - Marc Barthelemy, Patricia Bordin, Henri Berestycki, Maurizio Gribaudi:
Self-organization versus top-down planning in the evolution of a city. - Kun Zhang, Heng Peng, Laiwan Chan, Aapo Hyvärinen:
Bridging Information Criteria and Parameter Shrinkage for Model Selection. - Samuel Vaiter, Mohammad Golbabaee, Jalal Fadili, Gabriel Peyré:
Model Selection with Piecewise Regular Gauges. - Kazutaka Motoyama, Yoshikazu Tanaka, Kento Aida, Eisaku Sakane, Kenichi Miura:
Effective System for Simulating Dust Continuum Observations on Distributed Computing Resources. - Dirk Helbing:
From Technology-Driven Society to Socially Oriented Technology. The Future of Information Society - Alternatives to Surveillance. - Diane Oyen, Alexandru Niculescu-Mizil, Rachel Ostroff, Alex Stewart, Vincent P. Clark:
Controlling the Precision-Recall Tradeoff in Differential Dependency Network Analysis. - Xizhe Zhang, Tianyang Lv, Bin Zhang:
Structure controllability of complex network based on preferential matching. - Sergei Konyagin, Florian Luca, Bernard Mans, Luke Mathieson, Igor E. Shparlinski:
Functional Graphs of Polynomials over Finite Fields. - Katrin Schmietendorf, Joachim Peinke, Rudolf Friedrich, Oliver Kamps:
Self-Organized Synchronization and Voltage Stability in Networks of Synchronous Machines. - Byungjoon Min, K.-I. Goh:
Layer-crossing overhead and information spreading in multiplex social networks. - Marcus Brazil, Charl J. Ras, Doreen A. Thomas:
Approximating Minimum Steiner Point Trees in Minkowski Planes. - Emanuele Massaro, Lorenzo Valerio, Andrea Guazzini, Andrea Passarella, Franco Bagnoli:
A local algorithm for detecting community structures in dynamic networks. - Bahattin Yildiz, Suat Karadeniz:
Linear Codes over Z_4+uZ_4: MacWilliams identities, projections, and formally self-dual codes. - Patrick L. Harrington Jr., Alfred O. Hero III:
Information Theoretic Adaptive Tracking of Epidemics in Complex Networks. - Yu-Xiao Zhu, Junming Huang, Zi-Ke Zhang, Qian-Ming Zhang, Tao Zhou, Yong-Yeol Ahn:
Geography and similarity of regional cuisines in China. - Renato Vicente, Alex Susemihl, João Pedro Jericó, Nestor Caticha:
Moral foundations in an interacting neural networks society. - Regino Criado, Esther García, Francisco Pedroche, Miguel Romance:
A new method for comparing rankings through complex networks: Model and analysis of competitiveness of major European soccer leagues. - Moreno Bonaventura, Vincenzo Nicosia, Vito Latora:
Characteristic times of biased random walks on complex networks. - Daniela Lera, Yaroslav D. Sergeyev:
Acceleration of univariate global optimization algorithms working with Lipschitz functions and Lipschitz first derivatives. - Yaroslav D. Sergeyev:
Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically. - Marcelo E. Coniglio, Francesc Esteva, Lluis Godo:
Logics of formal inconsistency arising from systems of fuzzy logic. - Lila Kari, Kathleen A. Hill, Abu Sadat Sayem, Nathaniel Bryans, Katelyn Davis, Nikesh S. Dattani:
Map of Life: Measuring and Visualizing Species' Relatedness with "Molecular Distance Maps". - Aristide C. Y. Tossou, Christos Dimitrakakis:
Probabilistic inverse reinforcement learning in unknown environments. - Sebastien Bratieres, Novi Quadrianto, Zoubin Ghahramani:
Bayesian Structured Prediction Using Gaussian Processes. - Ingo Scholtes, Nicolas Wider, René Pfitzner, Antonios Garas, Claudio Juan Tessone, Frank Schweitzer:
Slow-Down vs. Speed-Up of Information Diffusion in Non-Markovian Temporal Networks. - Lisa Elkin, Ting Kei Pong, Stephen A. Vavasis:
Convex relaxation for finding planted influential nodes in a social network. - Krishnamurthy Dvijotham, Scott Backhaus, Misha Chertkov:
Storage Sizing and Placement through Operational and Uncertainty-Aware Simulations. - Radoslav Fulek:
Estimating the number of disjoint edges in simple topological graphs via cylindrical drawings. - Xiongping Dai:
Robust periodic stability implies uniform exponential stability for a random linear semiflow driven by a dynamical system with closing property. - Peter Apian-Bennewitz:
Review of simulating four classes of window materials for daylighting with non-standard BSDF using the simulation program Radiance. - (Withdrawn) Prior Biological Knowledge And Epigenetic Information Enhances Prediction Accuracy Of Bayesian Wnt Pathway.
- Dmitri E. Kvasov, Yaroslav D. Sergeyev:
Lipschitz gradients for global optimization in a one-point-based partitioning scheme. - Dmitry Podolsky, Konstantin S. Turitsyn:
Critical slowing-down as indicator of approach to the loss of stability. - William K. Cochran, Michael T. Heath, Kyle W. McKiou:
A Family of Hybrid Random Number Generators with Adjustable Quality and Speed. - Jan Komenda, Tomás Masopust, Jan H. van Schuppen:
Coordination Control of Discrete-Event Systems Revisited. - Meisam Razaviyayn, Maziar Sanjabi, Zhi-Quan Luo:
A Stochastic Successive Minimization Method for Nonsmooth Nonconvex Optimization with Applications to Transceiver Design in Wireless Communication Networks. - Peng Zhang, Baisong Cheng, Zhuang Zhao, Daqing Li, Guangquan Lu, Yunpeng Wang, Jinghua Xiao:
The resilience of interdependent transportation networks under targeted attack. - Samuel Johnson, Virginia Dominguez-Garcia, Miguel A. Munoz:
Factors determining nestedness in complex networks. - Stéphane Cordier, Hélène Coullon, Olivier Delestre, Christian Laguerre, Minh-Hoang Le, Daniel Pierre, Georges Sadaka:
FullSWOF_Paral: Comparison of two parallelization strategies (MPI and SKELGIS) on a software designed for hydrology applications. - (Withdrawn) On the Necessity of Mixed Models: Dynamical Frustrations in the Mind.
- Cristobal Guzman, Arkadi Nemirovski:
On Lower Complexity Bounds for Large-Scale Smooth Convex Optimization. - Syogo Mori, Voot Tangkaratt, Tingting Zhao, Jun Morimoto, Masashi Sugiyama:
Model-Based Policy Gradients with Parameter-Based Exploration by Least-Squares Conditional Density Estimation. - Péter L. Erdös, István Miklós, Zoltán Toroczkai:
A decomposition based proof for fast mixing of a Markov chain over balanced realizations of a joint degree matrix. - Dino Sejdinovic, Maria Lomeli Garcia, Heiko Strathmann, Christophe Andrieu, Arthur Gretton:
Kernel Adaptive Metropolis-Hastings. - Przemyslaw A. Grabowicz, José J. Ramasco, Bruno Gonçalves, Víctor M. Eguíluz:
Entangling mobility and interactions in social media. - Matteo Gallet, Hamid Rahkooy, Zafeirakis Zafeirakopoulos:
On Computing the Elimination Ideal Using Resultants with Applications to Gröbner Bases. - Saikat Guha, Patrick M. Hayden, Hari Krovi, Seth Lloyd, Cosmo Lupo, Jeffrey H. Shapiro, Masahiro Takeoka, Mark M. Wilde:
Quantum enigma machines and the locking capacity of a quantum channel. - Roberto Piazza:
On house renovation and coauthoring (with a little excursus on the Holy Grail of bibliometrics). - Kun Zhao, Márton Karsai, Ginestra Bianconi:
Models, Entropy and Information of Temporal Social Networks. - Jason Satel, Ross Story, Matthew D. Hilchey, Zhiguo Wang, Raymond M. Klein:
Using a Dynamic Neural Field Model to Explore a Direct Collicular Inhibition Account of Inhibition of Return. - Marco Artina, Massimo Fornasier, Steffen Peter:
Damping Noise-Folding and Enhanced Support Recovery in Compressed Sensing. - Lev Yu. Barash, Lev N. Shchur:
RNGSSELIB: Program library for random number generation. More generators, parallel streams of random numbers and Fortran compatibility. - Lev Yu. Barash, Lev N. Shchur:
PRAND: GPU accelerated parallel random number generation library: Using most reliable algorithms and applying parallelism of modern GPUs and CPUs. - Cun Mu, Bo Huang, John Wright, Donald Goldfarb:
Square Deal: Lower Bounds and Improved Relaxations for Tensor Recovery. - Roberto Rossi, Onur A. Kilic, S. Armagan Tarim:
Piecewise linear approximations for the static-dynamic uncertainty strategy in stochastic lot-sizing. - Shi Wang, Hendra Ishwara Nurdin, Guofeng Zhang, Matthew R. James:
Quantum Optical Realization of Classical Linear Stochastic Systems. - Cyril Voyant, Christophe Paoli, Marc Muselli, Marie-Laure Nivet:
Multi-horizon solar radiation forecasting for Mediterranean locations using time series models. - Petter Holme, Fredrik Liljeros:
Beginning and end times of dyadic relationships control disease spreading in empirical contact data. - Martin Cadek, Marek Krcál, Lukás Vokrínek:
Algorithmic solvability of the lifting-extension problem. - Marek Blazewicz, Ian Hinder, David M. Koppelman, Steven R. Brandt, Milosz Ciznicki, Michal Kierzynka, Frank Löffler, Erik Schnetter, Jian Tao:
From Physics Model to Results: An Optimizing Framework for Cross-Architecture Code Generation. - Sivaraman Balakrishnan, Srivatsan Narayanan, Alessandro Rinaldo, Aarti Singh, Larry A. Wasserman:
Cluster Trees on Manifolds. - Elizabeth Munch, Paul Bendich, Katharine Turner, Sayan Mukherjee, Jonathan Mattingly, John Harer:
Probabilistic Fréchet Means and Statistics on Vineyards. - Tamara Broderick, Nicholas Boyd, Andre Wibisono, Ashia C. Wilson, Michael I. Jordan:
Streaming Variational Bayes. - Emanuele Cozzo, Mikko Kivelä, Manlio De Domenico, Albert Solé, Alex Arenas, Sergio Gómez, Mason A. Porter, Yamir Moreno:
Clustering Coefficients in Multiplex Networks. - Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta, Alejandro Lage-Castellanos, Riccardo Zecchina:
Bayesian inference of epidemics on networks via Belief Propagation. - Mohammad Gheshlaghi Azar, Alessandro Lazaric, Emma Brunskill:
Sequential Transfer in Multi-armed Bandit with Finite Set of Models. - Nicholas R. Magliocca, Erle C. Ellis, Tim Oates, Matthew D. Schmill:
Contextualizing the global relevance of local land change observations. - Dylan Rupel, David I. Spivak:
The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes. - Matthew Fickus, Dustin G. Mixon, Aaron A. Nelson, Yang Wang:
Phase retrieval from very few measurements. - Maurizio Bruglieri, Alberto Colorni, Alessandro Lué:
The vehicle relocation problem for the one-way electric vehicle sharing. - Charles D. Brummitt, Paul D. H. Hines, Ian Dobson, Cristopher Moore, Raissa M. D'Souza:
Transdisciplinary electric power grid science. - Hiromu Mori, Shoji Makino, Tomasz M. Rutkowski:
Multi-command Chest Tactile Brain Computer Interface for Small Vehicle Robot Navigation. - Réka Albert, Bhaskar DasGupta, Nasim Mobasheri:
Some Perspectives on Network Modeling in Therapeutic Target Prediction. - Ewan R. Colman, Geoff J. Rodgers:
Complex scale-free networks with tunable power-law exponent and clustering. - Ronen Dar, Meir Feder, Antonio Mecozzi, Mark Shtaif:
Properties of nonlinear noise in long, dispersion-uncompensated fiber links. - Ali A. Zaidi, Tobias J. Oechtering, Serdar Yüksel, Mikael Skoglund:
Stabilization of Linear Systems Over Gaussian Networks. - Francisco Pedroche, Miguel Rebollo, Carlos Carrascosa, Alberto Palomares:
On the convergence of weighted-average consensus. - Sivaraman Balakrishnan, Alessandro Rinaldo, Aarti Singh, Larry A. Wasserman:
Tight Lower Bounds for Homology Inference. - Ramanuja Simha, Hagit Shatkay:
Protein (Multi-)Location Prediction: Using Location Inter-Dependencies in a Probabilistic Framework. - Zhi-Dan Zhao, Zimo Yang, Zi-Ke Zhang, Tao Zhou, Zi-Gang Huang, Ying-Cheng Lai:
Emergence of scaling in human-interest dynamics. - Alexandru I. Tomescu, Anna Kuosmanen, Romeo Rizzi, Veli Mäkinen:
A Novel Combinatorial Method for Estimating Transcript Expression with RNA-Seq: Bounding the Number of Paths. - Gustavo Sacomoto, Vincent Lacroix, Marie-France Sagot:
A polynomial delay algorithm for the enumeration of bubbles with length constraints in directed graphs and its application to the detection of alternative splicing in RNA-seq data. - Balaji Venkatachalam, Dan Gusfield, Yelena Frid:
Faster Algorithms for RNA-folding using the Four-Russians method. - Niko Brümmer, George R. Doddington:
Likelihood-ratio calibration using prior-weighted proper scoring rules. - Kush R. Varshney, Lav R. Varshney, Jun Wang, Daniel Myers:
Flavor Pairing in Medieval European Cuisine: A Study in Cooking with Dirty Data. - R. J. Lyon, J. M. Brooke, J. D. Knowles, B. W. Stappers:
A Study on Classification in Imbalanced and Partially-Labelled Data Streams. - Iasson Karafyllis, Miroslav Krstic:
Proofs of Lemmas 2.3-2.6 in the Paper "Stabilization of Nonlinear Delay Systems Using Approximate Predictors and High-Gain Observers". - Brian P. Kent, Alessandro Rinaldo, Timothy D. Verstynen:
DeBaCl: A Python Package for Interactive DEnsity-BAsed CLustering. - Jahrul Alam, Raymond Walsh, M. Alamgir Hossain, Andrew Rose:
Discretization of the Poisson equation using the interpolating scaling function with applications. - Christian Kuehn, Erik A. Martens, Daniel M. Romero:
Critical Transitions in Social Network Activity. - Roberto Ammendola, Massimo Bernaschi, Andrea Biagioni, Mauro Bisson, Massimiliano Fatica, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Enrico Mastrostefano, Pier Stanislao Paolucci, Davide Rossetti, Francesco Simula, Laura Tosoratto, Piero Vicini:
GPU peer-to-peer techniques applied to a cluster interconnect. - Sergey Fomin, Dima Grigoriev, Gleb A. Koshevoy:
Subtraction-free complexity and cluster transformations. - Martin Avendano, Roman Kogan, Mounir Nisse, J. Maurice Rojas:
Metric Estimates and Membership Complexity for Archimedean Amoebae and Tropical Hypersurfaces. - Andrey B. Kupavskii, Andrei M. Raigorodskii, Maria V. Titova:
New bounds for the distance Ramsey number.
maintained by 
at 
at 
last updated on 2018-12-23 20:06 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint